diff options
author | Luke Shumaker <lukeshu@parabola.nu> | 2018-06-22 12:49:56 -0400 |
---|---|---|
committer | Luke Shumaker <lukeshu@parabola.nu> | 2018-08-20 19:53:44 -0400 |
commit | 5b75cfbf19e57975ce98b900fecabadf2cac6160 (patch) | |
tree | 66b00b24fd3f5114b08dc009895043ef909774f9 | |
parent | 0b0925a124562b667f22cd68fbfd9b0be08825e3 (diff) |
config: Be friendly with `set -e` programs
-rw-r--r-- | config | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -43,4 +43,4 @@ FROM="repomaint@archlinux.org" # Override default config with config.local LOCAL_CONFIG=${DBSCRIPTS_CONFIG:-"$(dirname ${BASH_SOURCE[0]})/config.local"} -[[ -f "${LOCAL_CONFIG}" ]] && . "${LOCAL_CONFIG}" +if [[ -f "${LOCAL_CONFIG}" ]]; then . "${LOCAL_CONFIG}"; fi |