Index: profile =================================================================== --- profile (revision 94789) +++ profile (working copy) @@ -32,19 +32,6 @@ PATH="/bin:/usr/bin:/sbin:/usr/sbin" export PATH -# Export default pkg-config path -PKG_CONFIG_PATH="/usr/lib/pkgconfig" -export PKG_CONFIG_PATH - -# Some readline stuff that is fairly common -HISTSIZE=1000 -HISTCONTROL="erasedups" - -INPUTRC="/etc/inputrc" -LESS="-R" - -export HISTSIZE HISTCONTROL INPUTRC LESS - # Load profiles from /etc/profile.d if test -d /etc/profile.d/; then for profile in /etc/profile.d/*.sh; do