diff options
author | Omar Vega Ramos <ovruni@gnu.org.pe> | 2017-12-17 16:52:22 -0500 |
---|---|---|
committer | Omar Vega Ramos <ovruni@gnu.org.pe> | 2017-12-17 16:52:22 -0500 |
commit | 0d1de9a2c77798a18f368b80334664f5952684bc (patch) | |
tree | ff9b7002be9d970cb491c3c71eda3c1e29faed23 /libre/filesystem/profile | |
parent | 18cc9ec7fa83a01503e2038580e2cde7dd4a9dc7 (diff) |
filesystem-2017.10-2.parabola1: updating version
Diffstat (limited to 'libre/filesystem/profile')
-rw-r--r-- | libre/filesystem/profile | 19 |
1 files changed, 16 insertions, 3 deletions
diff --git a/libre/filesystem/profile b/libre/filesystem/profile index 60c1821dd..f92cf3f74 100644 --- a/libre/filesystem/profile +++ b/libre/filesystem/profile @@ -1,10 +1,23 @@ # /etc/profile -#Set our umask +# Set our umask umask 022 -# Set our default path -PATH="/usr/local/sbin:/usr/local/bin:/usr/bin" +# Append our default paths +appendpath () { + case ":$PATH:" in + *:"$1":*) + ;; + *) + PATH="$PATH:$1" + esac +} + +appendpath '/usr/local/sbin' +appendpath '/usr/local/bin' +appendpath '/usr/bin' +unset appendpath + export PATH # Load profiles from /etc/profile.d |