4032267507
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>
20 lines
274 B
Bash
20 lines
274 B
Bash
export PATH=@PATH@
|
|
|
|
if [ "$PS1" ]; then
|
|
if [ "`id -u`" -eq 0 ]; then
|
|
export PS1='# '
|
|
else
|
|
export PS1='$ '
|
|
fi
|
|
fi
|
|
|
|
export EDITOR='/bin/vi'
|
|
|
|
# Source configuration files from /etc/profile.d
|
|
for i in /etc/profile.d/*.sh ; do
|
|
if [ -r "$i" ]; then
|
|
. $i
|
|
fi
|
|
done
|
|
unset i
|