comparison .home_bashrc @ 4:0c43040ab265

for 2026 MSc
author Henry S. Thompson <ht@inf.ed.ac.uk>
date Wed, 20 May 2026 17:21:34 +0100
parents
children
comparison
equal deleted inserted replaced
3:6c772ae7fce2 4:0c43040ab265
1 # .bashrc
2
3 # Source global definitions
4 if [ -f /etc/bashrc ]; then
5 source /etc/bashrc
6 fi
7
8 # Source our shared helpful bits
9 source /work/dc007/dc007/shared/.bash_extras
10
11 if [ "$PS1" ]; then
12 # This is an interactive shell
13 echo "Vanilla bashrc" 1>&2
14
15 # append to the history file, don't overwrite it
16 shopt -s histappend
17
18 # for setting history length see HISTSIZE and HISTFILESIZE in bash(1)
19 # export HISTSIZE=3000
20 export HISTFILESIZE=6000
21 export HISTIGNORE='[ ]*:&:[fb]g:exit'
22
23 # fix $W -> \$W after tab completion
24 shopt -u progcomp
25
26 fi
27
28
29 # EDITOR= Uncomment this and give it the name of your preferred editor
30 # vi, ed and emacs are available
31
32 # Uncomment what follows if you're ready to start using tmux
33
34 # if [ -z "$TERMINFO" ]
35 # then
36 # export TERMINFO=/usr/share/terminfo
37 # # needed to allow tmux to work
38 # fi
39
40 # module load tmux
41