diff options
| author | Javier Jardón <jjardon@gnome.org> | 2016-08-22 16:05:27 +0100 |
|---|---|---|
| committer | Javier Jardón <jjardon@gnome.org> | 2016-10-28 14:25:05 +0100 |
| commit | e094637031d6479a3cbba130cc2d040053d87697 (patch) | |
| tree | 912ed364ab6332334fe6efdf5e3eda215785b654 | |
| parent | bbd733cd2531f670660768e84b3a79c530b380e1 (diff) | |
| download | definitions-e094637031d6479a3cbba130cc2d040053d87697.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 |