diff options
-rwxr-xr-x | gist | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -73,6 +73,7 @@ fi | |||
73 | # Default configuration | 73 | # Default configuration |
74 | [[ ! -t 1 && -z $hint ]] && hint=false | 74 | [[ ! -t 1 && -z $hint ]] && hint=false |
75 | protocol=https | 75 | protocol=https |
76 | init= | ||
76 | 77 | ||
77 | # Shell configuration | 78 | # Shell configuration |
78 | set -o pipefail | 79 | set -o pipefail |