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} |