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-16 09:46:22 +0000 |
| commit | 71c4dd6f2387ec2d3a15bd56c19e378f4f496c74 (patch) | |
| tree | 96defcf8a206b66ca1634e23838d0579074b6a70 | |
| parent | eedc4946164bc06086be60a529a28a164927720f (diff) | |
| download | definitions-71c4dd6f2387ec2d3a15bd56c19e378f4f496c74.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 |