From faea8af5b347966602684deb02339733a708856d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Javier=20Jard=C3=B3n?= <jjardon@gnome.org>
Date: Wed, 1 Apr 2015 21:55:11 +0100
Subject: Add essential-files/etc/profile

Also source /etc/bash.bashrc so bash will work properly
if we use it for login

Change-Id: I4a4b238f84c44858904b0a208ef8737a859c355d
---
 essential-files/etc/profile | 9 +++++++++
 1 file changed, 9 insertions(+)
 create mode 100644 essential-files/etc/profile

(limited to 'essential-files/etc/profile')

diff --git a/essential-files/etc/profile b/essential-files/etc/profile
new file mode 100644
index 00000000..c5bddd0d
--- /dev/null
+++ b/essential-files/etc/profile
@@ -0,0 +1,9 @@
+# /etc/profile
+
+# 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'
-- 
cgit v1.2.1