annotate .bash_profile @ 186:fc1b16130961

csing-related tweaks
author Henry S. Thompson <ht@inf.ed.ac.uk>
date Thu, 15 Feb 2024 22:31:43 +0000
parents efaa10c1e9ea
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
20
5371599c0cfa local setup
Henry S. Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
1 # .bash_profile
5371599c0cfa local setup
Henry S. Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
2
5371599c0cfa local setup
Henry S. Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
3 # Get the aliases and functions
5371599c0cfa local setup
Henry S. Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
4 if [ -f ~/.bashrc ]; then
5371599c0cfa local setup
Henry S. Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
5 . ~/.bashrc
5371599c0cfa local setup
Henry S. Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
6 fi
5371599c0cfa local setup
Henry S. Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
7
5371599c0cfa local setup
Henry S. Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
8 # User specific environment and startup programs
5371599c0cfa local setup
Henry S. Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
9
183
efaa10c1e9ea MANPATH (?)
Henry S. Thompson <ht@inf.ed.ac.uk>
parents: 61
diff changeset
10 export MANPATH=:/usr/share/man