diff options
author | Javier Jardón <jjardon@gnome.org> | 2016-08-22 16:05:27 +0100 |
---|---|---|
committer | Javier Jardón <jjardon@gnome.org> | 2016-11-08 19:17:34 +0000 |
commit | 3badff6789e8aedd1b1298ef5065af744bf6a676 (patch) | |
tree | ab4c23b4c29174f9d7ba8b2197307e9ec867b4f1 | |
parent | 8342678159f391e1e4db9f0198966103c75c20a2 (diff) | |
download | definitions-3badff6789e8aedd1b1298ef5065af744bf6a676.tar.gz |
install-files/essential-files/etc/profile: Only /usr/local/bin:/usr/bin is needed
Change-Id: Icca2a98a829030eb3ee47f3d93b3c56d74626159
-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 |