umask 077
PATH="$HOME"/bin:"$HOME"/.local/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin
+if [ -n "$DISPLAY" ]; then
+ PATH=$PATH:/usr/games
+fi
# Make `ssh host date` to display in 24-hour format
LANG=C
. "$HOME"/.shellrc
if [ "$HISTFILE" = "$HOME/.bash_history" ]; then
+ history -r
# This is the default value set by interactive bash
# when the global value was unset. Unset it here too.
unset HISTFILE
functions() { typeset -f "$@"; }
j() { jobs; }
+if [ -r "$HOME"/admin/prog/bash_prompt ]; then
+ . "$HOME"/admin/prog/bash_prompt
+ set_prompt
+ unset set_prompt
+else
+ PS1="${debian_chroot:+($debian_chroot)}\u@\h:\W \$SHLVL\\$ "
+fi
+
if [ -z "$BASH_COMPLETION_COMPAT_DIR" ]; then
if [ -d /usr/share/bash-completion -a -r /usr/share/bash-completion/bash_completion ]; then
_BASH_COMPLETIONS_DIR=/usr/share/bash-completion/completions