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.txt	system/device_table.txt: /etc/random-seed is no more	2015-07-09 08:37:10 +02:00
device_table_dev.txt	board: add blackfin gdb simulator support	2016-07-24 22:51:42 +02:00
system.mk	system: introduce BR2_SYSTEM_DEFAULT_PATH option	2018-12-31 14:32:20 +01:00