USER=`id -un`
LOGNAME=$USER
MAIL="/var/mail/$USER"
-HISTFILESIZE=1000
+
+# Don't put duplicate lines in the history.
+HISTCONTROL=ignoredups:ignorespace
+HISTFILESIZE=2000
HISTSIZE=1000
+
HOSTNAME=`hostname`
EDITOR=_DEFAULT_EDITOR_
CFLAGS="_DEFAULT_CFLAGS_"
# --show-control-chars is for seeing international characters in filenames
alias ls='ls -h --color=auto --show-control-chars'
eval $(dircolors --sh /etc/DIR_COLORS)
+alias grep='grep --color=auto'
+alias fgrep='fgrep --color=auto'
+alias egrep='egrep --color=auto'
+alias less='less -RFX'
+
+# Pour avoir un environnement similaire à ce qu'un login fournirait:
+alias su='su --login'
# For some unknown reason bash refuses to inherit PS1 in some circumstances
# that I can't figure out. Putting PS1 here ensures that it gets loaded every
fi
EOF
-echo "Installing /etc/DIR_COLORS"
-install -m644 ${SCRDIR}/misc/DIR_COLORS ${LFS}/etc/DIR_COLORS
+install -v -m644 ${SCRDIR}/misc/DIR_COLORS ${LFS}/etc/DIR_COLORS
echo "Creating /etc/inputrc"
cat > ${LFS}/etc/inputrc << "EOF"
EOF
chmod 644 ${LFS}/etc/shells
+# This file contains a list of users (1 per line) who are allowed to shutdown
+# the computer. This doesn't mean that these users can invoke the shutdown
+# (or reboot or halt) command(s). Instead, it means that an authorized user
+# can shut down the computer by pressing ctrl+alt+del.
echo "Creating /etc/shutdown.allow"
echo "${REGUSER}" > ${LFS}/etc/shutdown.allow