wbrawner/distribution
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Global options tweak.

Browse source
This commit is contained in:
fewtarius 2023-06-22 11:53:26 +00:00
parent 8b97ff3bff
commit 091d9b3088
No known key found for this signature in database
GPG key ID: F4AE55305D1B8C1A
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
config/options
View file

@ -91,8 +91,8 @@ CCACHE_CACHE_SIZE="20G"
CCACHE_COMPRESSLEVEL="0"
# read GLOBAL options if available
if [ -f "${HOME}/${DISTRO}/options" ]; then
. "${HOME}/${DISTRO}/options"
if [ -f "${HOME}/.${DISTRO}/options" ]; then
. "${HOME}/.${DISTRO}/options"
fi
# read ROOT options from ${ROOT} if available