diff options
author | Luke Shumaker <lukeshu@parabola.nu> | 2018-06-22 12:49:56 -0400 |
---|---|---|
committer | Luke Shumaker <lukeshu@parabola.nu> | 2018-10-07 18:54:33 -0400 |
commit | 4c75c60b4c6e19379002a557b2b924e506f0bd72 (patch) | |
tree | e5a69dbc2fbeddaf0699f66bc0213ea72402bbaf | |
parent | fe1435f463e985979e895eb7a49078096970aee0 (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 |