diff options
| author | Hsieh Chin Fan <typebrook@gmail.com> | 2020-09-08 11:25:06 +0800 |
|---|---|---|
| committer | Hsieh Chin Fan <typebrook@gmail.com> | 2020-09-08 11:25:06 +0800 |
| commit | 1e84af6bae6fbc37f818392c901423b98dbaed7a (patch) | |
| tree | b5141186f95e61c7ffe66416486752c18dea277d /tools/install.sh | |
| parent | 021d2df326adba6fe9c028d65d1445a28753773e (diff) | |
update
Diffstat (limited to 'tools/install.sh')
| -rwxr-xr-x | tools/install.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/install.sh b/tools/install.sh index c765c62..2e265fa 100755 --- a/tools/install.sh +++ b/tools/install.sh | |||
| @@ -1,6 +1,6 @@ | |||
| 1 | #! /usr/bin/env bash | 1 | #! /usr/bin/env bash |
| 2 | 2 | ||
| 3 | set -xe | 3 | set -e |
| 4 | 4 | ||
| 5 | # Default settings | 5 | # Default settings |
| 6 | SETTING_DIR=${SETTING_DIR:-~/settings} | 6 | SETTING_DIR=${SETTING_DIR:-~/settings} |