diff options
Diffstat (limited to 'subr/pkgtool_init.subr')
| -rw-r--r-- | subr/pkgtool_init.subr | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/subr/pkgtool_init.subr b/subr/pkgtool_init.subr index d7bbd14d..2a408423 100644 --- a/subr/pkgtool_init.subr +++ b/subr/pkgtool_init.subr @@ -33,6 +33,11 @@ pkgtoolp_init_env() { printf "Error: failed to source \`%s'.\n" "${_fname}" >&2; exit 1; fi; done; + if [ -e "etc/pkgtool.theme.local" ]; then + if ! . "etc/pkgtool.theme.local"; then + printf "Error: failed to source \`%s'.\n" "etc/pkgtool.theme.local" >&2; exit 1; + fi; + fi; fi; return "${_rc}"; }; |