diff options
| author | Javier Jardón <jjardon@gnome.org> | 2017-11-26 23:39:48 +0000 |
|---|---|---|
| committer | Javier Jardón <jjardon@gnome.org> | 2017-12-12 15:58:23 +0000 |
| commit | 7df7f3b427739ff7d69da2ba218da0124822892c (patch) | |
| tree | 843c75e9bede53862ab101d6a7bcd1da15a33c55 /install-files/essential-files/etc/profile | |
| parent | 7aad5150f69da42b84994c353283db5daf8e967f (diff) | |
| download | definitions-7df7f3b427739ff7d69da2ba218da0124822892c.tar.gz | |
Remove all .morph files and files from the old format
Diffstat (limited to 'install-files/essential-files/etc/profile')
| -rw-r--r-- | install-files/essential-files/etc/profile | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/install-files/essential-files/etc/profile b/install-files/essential-files/etc/profile deleted file mode 100644 index 5c0a1331..00000000 --- a/install-files/essential-files/etc/profile +++ /dev/null @@ -1,13 +0,0 @@ -# /etc/profile - -# Set our default path -PATH="/usr/local/bin:/usr/bin" -export PATH - -# Source global bash config -if test "$PS1" && test "$BASH" && test -r /etc/bash.bashrc; then - . /etc/bash.bashrc -fi - -# Set default pager to less -export MANPAGER='less -R' |