diff options
author | Javier Jardón <jjardon@gnome.org> | 2016-08-22 16:05:27 +0100 |
---|---|---|
committer | Javier Jardón <jjardon@gnome.org> | 2016-12-09 16:16:35 +0000 |
commit | 86d13b03056b99ec9b773507e35f4e9e1e8bf404 (patch) | |
tree | 534566087cc5433a8f526ff48edcbc4ad3c4c57c | |
parent | 7ae830f1bc4c355eaf76f99655160420edc520e9 (diff) | |
download | definitions-86d13b03056b99ec9b773507e35f4e9e1e8bf404.tar.gz |
install-files/essential-files/etc/profile: Only /usr/local/bin:/usr/bin is needed
-rw-r--r-- | install-files/essential-files/etc/profile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/install-files/essential-files/etc/profile b/install-files/essential-files/etc/profile index b306a132..5c0a1331 100644 --- a/install-files/essential-files/etc/profile +++ b/install-files/essential-files/etc/profile @@ -1,7 +1,7 @@ # /etc/profile # Set our default path -PATH="/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin" +PATH="/usr/local/bin:/usr/bin" export PATH # Source global bash config |