Lubomir Rintel 4032267507 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>		2019-09-07 21:58:04 +02:00
..
skeleton	system/skeleton: drop PAGER from /etc/profile	2019-09-07 21:58:04 +02:00
Config.in	system/Config.in: add new init - openrc	2019-05-18 23:16:04 +02:00
device_table_dev.txt
device_table.txt
system.mk