2008-08-06 22:30:46 +08:00
|
|
|
#!/usr/bin/env bash
|
|
|
|
BASEDIR="$PWD"
|
|
|
|
ENVDIR="$PWD/env"
|
2014-06-30 14:50:22 +08:00
|
|
|
export GREP_OPTIONS=
|
2008-08-06 22:30:46 +08:00
|
|
|
|
|
|
|
usage() {
|
|
|
|
cat <<EOF
|
|
|
|
Usage: $0 [options] <command> [arguments]
|
|
|
|
Commands:
|
|
|
|
help This help text
|
|
|
|
list List environments
|
|
|
|
clear Delete all environment and revert to flat config/files
|
|
|
|
new <name> Create a new environment
|
|
|
|
switch <name> Switch to a different environment
|
|
|
|
delete <name> Delete an environment
|
|
|
|
rename <newname> Rename the current environment
|
|
|
|
diff Show differences between current state and environment
|
2015-05-02 01:23:15 +08:00
|
|
|
save [message] Save your changes to the environment, optionally using
|
|
|
|
the given commit message
|
2008-08-06 22:30:46 +08:00
|
|
|
revert Revert your changes since last save
|
|
|
|
|
|
|
|
Options:
|
|
|
|
|
|
|
|
EOF
|
2020-07-11 19:20:34 +08:00
|
|
|
exit "${1:-1}"
|
2008-08-06 22:30:46 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
error() {
|
|
|
|
echo "$0: $*"
|
|
|
|
exit 1
|
|
|
|
}
|
|
|
|
|
|
|
|
ask_bool() {
|
|
|
|
local DEFAULT="$1"; shift
|
|
|
|
local def defstr val
|
|
|
|
case "$DEFAULT" in
|
|
|
|
1) def=0; defstr="Y/n";;
|
|
|
|
0) def=1; defstr="y/N";;
|
|
|
|
*) def=; defstr="y/n";;
|
|
|
|
esac
|
|
|
|
while [ -z "$val" ]; do
|
|
|
|
local VAL
|
|
|
|
|
|
|
|
echo -n "$* ($defstr): "
|
2020-01-06 10:32:38 +08:00
|
|
|
read -r VAL
|
2008-08-06 22:30:46 +08:00
|
|
|
case "$VAL" in
|
|
|
|
y*|Y*) val=0;;
|
|
|
|
n*|N*) val=1;;
|
|
|
|
*) val="$def";;
|
|
|
|
esac
|
|
|
|
done
|
|
|
|
return "$val"
|
|
|
|
}
|
|
|
|
|
|
|
|
env_init() {
|
|
|
|
local CREATE="$1"
|
|
|
|
if [ -z "$CREATE" ]; then
|
|
|
|
[ -d "$ENVDIR" ] || exit 0
|
|
|
|
fi
|
2020-07-12 20:25:39 +08:00
|
|
|
command -v git >/dev/null || error "Git is not installed"
|
2008-08-06 22:30:46 +08:00
|
|
|
mkdir -p "$ENVDIR" || error "Failed to create the environment directory"
|
|
|
|
cd "$ENVDIR" || error "Failed to switch to the environment directory"
|
|
|
|
[ -d .git ] || {
|
2021-11-10 21:47:55 +08:00
|
|
|
git init -b master &&
|
2008-08-06 22:30:46 +08:00
|
|
|
touch .config &&
|
|
|
|
mkdir files &&
|
2008-08-24 21:40:21 +08:00
|
|
|
git add . &&
|
|
|
|
git commit -q -m "Initial import"
|
2008-08-06 22:30:46 +08:00
|
|
|
} || {
|
|
|
|
rm -rf .git
|
|
|
|
error "Failed to initialize the environment directory"
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
env_sync_data() {
|
2020-01-06 10:32:36 +08:00
|
|
|
[ ! -L "$BASEDIR/.config" ] && [ -f "$BASEDIR/.config" ] && mv "$BASEDIR/.config" "$ENVDIR"
|
2008-08-24 21:40:21 +08:00
|
|
|
git add .
|
|
|
|
git add -u
|
2008-08-06 22:30:46 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
env_sync() {
|
|
|
|
local STR="$1"
|
|
|
|
env_sync_data
|
2008-08-24 21:40:21 +08:00
|
|
|
git commit -m "${STR:-Update} at $(date)"
|
2008-08-06 22:30:46 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
env_link_config() {
|
|
|
|
rm -f "$BASEDIR/.config"
|
|
|
|
ln -s env/.config "$BASEDIR/.config"
|
|
|
|
mkdir -p "$ENVDIR/files"
|
|
|
|
[ -L "$BASEDIR/files" ] || ln -s env/files "$BASEDIR/files"
|
|
|
|
}
|
|
|
|
|
|
|
|
env_do_reset() {
|
2008-08-24 21:40:21 +08:00
|
|
|
git reset --hard HEAD
|
|
|
|
git clean -d -f
|
2008-08-06 22:30:46 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
env_list() {
|
|
|
|
env_init
|
2012-02-17 03:24:34 +08:00
|
|
|
git branch --color | grep -vE '^. master$'
|
2008-08-06 22:30:46 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
env_diff() {
|
|
|
|
env_init
|
|
|
|
env_sync_data
|
2018-04-11 06:57:06 +08:00
|
|
|
git diff --cached --color=auto
|
2011-11-20 01:15:45 +08:00
|
|
|
env_link_config
|
2008-08-06 22:30:46 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
env_save() {
|
|
|
|
env_init
|
2015-05-02 01:23:15 +08:00
|
|
|
env_sync "$@"
|
2008-08-06 22:30:46 +08:00
|
|
|
env_link_config
|
|
|
|
}
|
|
|
|
|
|
|
|
env_revert() {
|
|
|
|
env_init
|
|
|
|
env_do_reset
|
|
|
|
env_link_config
|
|
|
|
}
|
|
|
|
|
|
|
|
env_ask_sync() {
|
2008-10-09 03:15:26 +08:00
|
|
|
env_sync_data
|
2008-08-06 22:30:46 +08:00
|
|
|
LINES="$(env_diff | wc -l)" # implies env_init
|
|
|
|
[ "$LINES" -gt 0 ] && {
|
|
|
|
if ask_bool 1 "Do you want to save your changes"; then
|
|
|
|
env_sync
|
|
|
|
else
|
|
|
|
env_do_reset
|
|
|
|
fi
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
env_clear() {
|
|
|
|
env_init
|
|
|
|
[ -L "$BASEDIR/.config" ] && rm -f "$BASEDIR/.config"
|
|
|
|
[ -L "$BASEDIR/files" ] && rm -f "$BASEDIR/files"
|
2020-01-01 10:01:42 +08:00
|
|
|
[ -f "$ENVDIR/.config" ] || ( cd "$ENVDIR/files" && find . | grep -vE '^\.$' > /dev/null )
|
2008-08-06 22:30:46 +08:00
|
|
|
env_sync_data
|
|
|
|
if ask_bool 1 "Do you want to keep your current config and files"; then
|
|
|
|
mkdir -p "$BASEDIR/files"
|
2011-11-20 01:15:50 +08:00
|
|
|
shopt -s dotglob
|
2011-04-01 19:07:27 +08:00
|
|
|
cp -a "$ENVDIR/files/"* "$BASEDIR/files" 2>/dev/null >/dev/null
|
2011-11-20 01:15:50 +08:00
|
|
|
shopt -u dotglob
|
2008-08-06 22:30:46 +08:00
|
|
|
cp "$ENVDIR/.config" "$BASEDIR/"
|
|
|
|
else
|
|
|
|
rm -rf "$BASEDIR/files" "$BASEDIR/.config"
|
|
|
|
fi
|
2020-01-06 10:32:37 +08:00
|
|
|
cd "$BASEDIR" || exit 1
|
2008-08-06 22:30:46 +08:00
|
|
|
rm -rf "$ENVDIR"
|
|
|
|
}
|
|
|
|
|
|
|
|
env_delete() {
|
|
|
|
local name="${1##*/}"
|
2008-08-27 22:13:47 +08:00
|
|
|
env_init
|
2008-08-06 22:30:46 +08:00
|
|
|
[ -z "$name" ] && usage
|
2008-08-24 21:40:21 +08:00
|
|
|
branch="$(git branch | grep '^\* ' | awk '{print $2}')"
|
2008-08-27 22:13:47 +08:00
|
|
|
[ "$name" = "$branch" ] && error "cannot delete the currently selected environment"
|
2008-08-24 21:40:21 +08:00
|
|
|
git branch -D "$name"
|
2008-08-06 22:30:46 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
env_switch() {
|
|
|
|
local name="${1##*/}"
|
|
|
|
[ -z "$name" ] && usage
|
|
|
|
|
|
|
|
env_init
|
|
|
|
env_ask_sync
|
2008-09-02 23:48:40 +08:00
|
|
|
git checkout "$name" || error "environment '$name' not found"
|
2008-08-06 22:30:46 +08:00
|
|
|
env_link_config
|
|
|
|
}
|
|
|
|
|
|
|
|
env_rename() {
|
|
|
|
local NAME="${1##*/}"
|
|
|
|
env_init
|
2008-08-24 21:40:21 +08:00
|
|
|
git branch -m "$NAME"
|
2008-08-06 22:30:46 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
env_new() {
|
|
|
|
local NAME="$1"
|
|
|
|
local branch
|
|
|
|
local from="master"
|
|
|
|
|
|
|
|
[ -z "$NAME" ] && usage
|
|
|
|
env_init 1
|
|
|
|
|
2008-08-24 21:40:21 +08:00
|
|
|
branch="$(git branch | grep '^\* ' | awk '{print $2}')"
|
2020-01-01 10:01:43 +08:00
|
|
|
if [ -n "$branch" ] && [ "$branch" != "master" ]; then
|
2008-08-06 22:30:46 +08:00
|
|
|
env_ask_sync
|
|
|
|
if ask_bool 0 "Do you want to clone the current environment?"; then
|
|
|
|
from="$branch"
|
|
|
|
fi
|
|
|
|
rm -f "$BASEDIR/.config" "$BASEDIR/files"
|
|
|
|
fi
|
2008-08-24 21:40:21 +08:00
|
|
|
git checkout -b "$1" "$from"
|
2020-01-01 10:01:43 +08:00
|
|
|
if [ -f "$BASEDIR/.config" ] || [ -d "$BASEDIR/files" ]; then
|
2011-11-20 01:15:53 +08:00
|
|
|
if ask_bool 1 "Do you want to start your configuration repository with the current configuration?"; then
|
2020-01-06 10:32:36 +08:00
|
|
|
if [ -d "$BASEDIR/files" ] && [ ! -L "$BASEDIR/files" ]; then
|
2010-07-22 01:49:52 +08:00
|
|
|
mkdir -p "$ENVDIR/files"
|
2011-11-20 01:15:50 +08:00
|
|
|
shopt -s dotglob
|
2011-04-01 19:07:27 +08:00
|
|
|
mv "$BASEDIR/files/"* "$ENVDIR/files/" 2>/dev/null
|
2011-11-20 01:15:50 +08:00
|
|
|
shopt -u dotglob
|
2008-08-06 22:30:46 +08:00
|
|
|
rmdir "$BASEDIR/files"
|
2020-01-01 10:01:43 +08:00
|
|
|
fi
|
2008-08-06 22:30:46 +08:00
|
|
|
env_sync
|
|
|
|
else
|
|
|
|
rm -rf "$BASEDIR/.config" "$BASEDIR/files"
|
|
|
|
fi
|
|
|
|
fi
|
|
|
|
env_link_config
|
|
|
|
}
|
|
|
|
|
|
|
|
COMMAND="$1"; shift
|
|
|
|
case "$COMMAND" in
|
|
|
|
help) usage 0;;
|
|
|
|
new) env_new "$@";;
|
|
|
|
list) env_list "$@";;
|
|
|
|
clear) env_clear "$@";;
|
|
|
|
switch) env_switch "$@";;
|
|
|
|
delete) env_delete "$@";;
|
|
|
|
rename) env_rename "$@";;
|
|
|
|
diff) env_diff "$@";;
|
|
|
|
save) env_save "$@";;
|
|
|
|
revert) env_revert "$@";;
|
|
|
|
*) usage;;
|
|
|
|
esac
|