diff options
author | 2019-09-06 11:25:09 +0200 | |
---|---|---|
committer | 2019-09-07 21:58:04 +0200 | |
commit | 40322675073dc17590c4d2dce067ca3f1fee96ad (patch) | |
tree | 4c25d4c6722c722a92ff755c034cb025c3b87eb1 /system/skeleton/etc/profile | |
parent | 0525ca471160b0da8c1159c3ffbbdaeded93682f (diff) | |
download | buildroot-40322675073dc17590c4d2dce067ca3f1fee96ad.tar.gz buildroot-40322675073dc17590c4d2dce067ca3f1fee96ad.tar.bz2 |
system/skeleton: drop PAGER from /etc/profile
We couldn't track down the reason why the profile sets $PAGER other
than that it has always been there.
However, it defeats pager autodetection by various tool (systemctl,
nmcli, etc.) that would otherwise prefer less to more, in case both
were available.
Let's drop it. My desktop Linux distro (Fedora) doesn't seem to set it
either and the universe doesn't seem to have collapsed yet.
Signed-off-by: Lubomir Rintel <lkundrak@v3.sk>
Signed-off-by: Thomas Petazzoni <thomas.petazzoni@bootlin.com>
Diffstat (limited to 'system/skeleton/etc/profile')
-rw-r--r-- | system/skeleton/etc/profile | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/system/skeleton/etc/profile b/system/skeleton/etc/profile index db29e44920..0545277086 100644 --- a/system/skeleton/etc/profile +++ b/system/skeleton/etc/profile @@ -8,7 +8,6 @@ if [ "$PS1" ]; then fi fi -export PAGER='/bin/more' export EDITOR='/bin/vi' # Source configuration files from /etc/profile.d |