# FLINT's csh settings

umask 000
set history = 100
set savehistory = 100
set path = (. /usr/sbin /usr/bsd /usr/bin /bin /etc /usr/etc /usr/local/bin )
# For interactive shells, set the prompt to show the host name and event number.
if ( $?prompt ) then
        if ( -o /bin/su ) then
                set prompt="`hostname -s` \!# "
        else

		set prompt = "`hostname`: $cwd % "
        endif
endif
set filec

alias ls 'ls -CF'
alias h history
alias findit 'find / -name \!* -print'
alias cd 'cd \!*; set prompt = "`hostname`: $cwd % "'

setenv OSRELEASE `uname -r | cut -d'-' -f1`
setenv FLINT_HOME $HOME

alias flint '$FLINT_HOME/bin/flint_IRIX_$OSRELEASE \!* &'
alias kf 'killall flint_IRIX_$OSRELEASE'

alias list_framestore '$FLINT_HOME/bin/list_framestore'
alias to_framestore   '$FLINT_HOME/bin/to_framestore'
alias from_framestore '$FLINT_HOME/bin/from_framestore'

limit coredumpsize 0
limit stacksize 32m
