diff --git a/.gitignore b/.gitignore index 7ad8de9..9c1bf0f 100644 --- a/.gitignore +++ b/.gitignore @@ -1,2 +1,3 @@ +etc/*.theme.local .gdbhistory *.sw[op] diff --git a/subr/build_init.subr b/subr/build_init.subr index a6939b2..13819de 100644 --- a/subr/build_init.subr +++ b/subr/build_init.subr @@ -86,6 +86,11 @@ buildp_init_env() { printf "Error: failed to source \`%s'.\n" "${_fname}" >&2; exit 1; fi; done; + if [ -e "etc/build.theme.local" ]; then + if ! . "etc/build.theme.local"; then + printf "Error: failed to source \`%s'.\n" "etc/build.theme.local" >&2; exit 1; + fi; + fi; fi; return "${_rc}"; }; diff --git a/subr/pkgtool_init.subr b/subr/pkgtool_init.subr index d7bbd14..2a40842 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}"; };