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 |