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"