diff options
| author | Lucio Andrés Illanes Albornoz <lucio@lucioillanes.de> | 2021-08-26 19:21:27 +0200 |
|---|---|---|
| committer | Lucio Andrés Illanes Albornoz <lucio@lucioillanes.de> | 2021-08-26 19:21:27 +0200 |
| commit | ff862f04542067e8edea1ffb5a6f5527d975172c (patch) | |
| tree | 3c51c5be4d1abbdf2bd6c43ae86ae398bf7b0863 | |
| parent | 83abda8e05f874a92b87aaacbf6ce2e1da88a986 (diff) | |
| download | midipix_build-ff862f04542067e8edea1ffb5a6f5527d975172c.tar.bz2 midipix_build-ff862f04542067e8edea1ffb5a6f5527d975172c.tar.xz | |
Optionally source etc/{build,pkgtool}.theme.local.
.gitignore: updated.
| -rw-r--r-- | .gitignore | 1 | ||||
| -rw-r--r-- | subr/build_init.subr | 5 | ||||
| -rw-r--r-- | subr/pkgtool_init.subr | 5 |
3 files changed, 11 insertions, 0 deletions
@@ -1,2 +1,3 @@ +etc/*.theme.local .gdbhistory *.sw[op] diff --git a/subr/build_init.subr b/subr/build_init.subr index a6939b2a..13819de6 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 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}"; }; |