diff options
| author | Javier Jardón <jjardon@gnome.org> | 2016-08-22 16:05:27 +0100 |
|---|---|---|
| committer | Javier Jardón <jjardon@gnome.org> | 2016-08-22 16:05:27 +0100 |
| commit | 3a610540dcedd99e8e81e15166413c76af31b1d3 (patch) | |
| tree | c91c6b7533a93ead1be1dd1f40ee5bbec45cbd62 | |
| parent | 7311f48d3cded691368b23381b790f1636a463d5 (diff) | |
| download | definitions-3a610540dcedd99e8e81e15166413c76af31b1d3.tar.gz | |
profile
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..8409c165 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 |