view .home_bashrc @ 9:f6f1deba62af default tip

sic
author Henry S. Thompson <ht@inf.ed.ac.uk>
date Thu, 11 Jun 2026 21:16:59 +0100
parents 0c43040ab265
children
line wrap: on
line source

# .bashrc

# Source global definitions
if [ -f /etc/bashrc ]; then
  source /etc/bashrc
fi

# Source our shared helpful bits
source /work/dc007/dc007/shared/.bash_extras

if [ "$PS1" ]; then
  # This is an interactive shell
  echo "Vanilla bashrc" 1>&2

  # append to the history file, don't overwrite it
  shopt -s histappend

  # for setting history length see HISTSIZE and HISTFILESIZE in bash(1)
  # export HISTSIZE=3000
  export HISTFILESIZE=6000
  export HISTIGNORE='[ ]*:&:[fb]g:exit'

 # fix $W -> \$W after tab completion
 shopt -u progcomp

fi


# EDITOR= Uncomment this and give it the name of your preferred editor
#         vi, ed and emacs are available

# Uncomment what follows if you're ready to start using tmux

# if [ -z "$TERMINFO" ]
# then
#  export TERMINFO=/usr/share/terminfo
#  # needed to allow tmux to work
# fi

# module load tmux