#!/bin/bash #A user's .bash_profile 20 Sept. 2106 # clear high bit in input chars. More historical than practical, related # to old fashion terminals and slow transmission rates. stty istrip # add personal bin directory to path set by system admin. # and make sure both PATH and MANPATH are exported. PATH=$PATH:~/bin export PATH MANPATH #If terminal undefined or dumb, assume a minimum of VT100 abilities. if [ "$TERM" = "" -o "$TERM" = "dumb" ] ; then TERM=vt100 export TERM fi #set MAIL to location of incoming email. export MAIL=/var/mail/${LOGNAME:?} #set prompt to show current directory with full path and history number declare PS1="\w \! " export PS1 #This clips path displayed if it gets really long. Currently diabled. #export PROMPT_DIRTRM=5 #The file described in BASH_ENV is called when a non-interactive shell # is started, such as a shell script. BASH_ENV=".bash_other" export BASH_ENV #set preferred pager and editor export PAGER=less export EDITOR=vi export VISUAL=vi export MAILTO="berezin@cs.niu.edu" # needed for X applications export DISPLAY="localhost:10.0" # ignore 1st 10 consequtive [ctr]Ds when given on command line. export IGNOREEOF=10 #block mesg mesg n # invoke .bashrc for additional non-login specific but interactive # shell configurations, such as setting aliases which cannot be # exported. Note .bashrc is sourced. . .bashrc