diff options
Diffstat (limited to 'tools')
-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} |