diff options
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/init/load-settings.sh | 2 | ||||
| -rwxr-xr-x | tools/install.sh | 6 |
2 files changed, 4 insertions, 4 deletions
diff --git a/tools/init/load-settings.sh b/tools/init/load-settings.sh index c87c5c6..cf28b75 100755 --- a/tools/init/load-settings.sh +++ b/tools/init/load-settings.sh | |||
| @@ -1,4 +1,4 @@ | |||
| 1 | export SETTING_DIR=${SETTING_DIR:=$HOME/settings} | 1 | export SETTING_DIR=${SETTING_DIR:=$HOME/helper} |
| 2 | export EDITOR=vim | 2 | export EDITOR=vim |
| 3 | export TERM=xterm-256color | 3 | export TERM=xterm-256color |
| 4 | 4 | ||
diff --git a/tools/install.sh b/tools/install.sh index 27418c6..1f1dd86 100755 --- a/tools/install.sh +++ b/tools/install.sh | |||
| @@ -3,15 +3,15 @@ | |||
| 3 | set -e | 3 | set -e |
| 4 | 4 | ||
| 5 | # Default settings | 5 | # Default settings |
| 6 | SETTING_DIR=${SETTING_DIR:-~/settings} | 6 | SETTING_DIR=${SETTING_DIR:-~/helper} |
| 7 | REPO=${REPO:-typebrook/settings} | 7 | REPO=${REPO:-typebrook/helper} |
| 8 | REMOTE=${REMOTE:-https://github.com/${REPO}.git} | 8 | REMOTE=${REMOTE:-https://github.com/${REPO}.git} |
| 9 | BRANCH=${BRANCH:-dev} | 9 | BRANCH=${BRANCH:-dev} |
| 10 | RCFILE=${RCFILE:-~/.$(basename $SHELL)rc} | 10 | RCFILE=${RCFILE:-~/.$(basename $SHELL)rc} |
| 11 | 11 | ||
| 12 | if [ ! -d $SETTING_DIR ]; then | 12 | if [ ! -d $SETTING_DIR ]; then |
| 13 | git clone --depth=1 --branch "$BRANCH" "$REMOTE" "$SETTING_DIR" || { | 13 | git clone --depth=1 --branch "$BRANCH" "$REMOTE" "$SETTING_DIR" || { |
| 14 | error "git clone of settings repo failed" | 14 | error "git clone of helper repo failed" |
| 15 | exit 1 | 15 | exit 1 |
| 16 | } | 16 | } |
| 17 | fi | 17 | fi |