annotate .bash_profile @ 31:e7c8e64c2fdd

get multi-ranking done right
author Henry S. Thompson <ht@inf.ed.ac.uk>
date Thu, 17 Nov 2022 13:51:19 +0000
parents bb5f1ea6cc5e
children 12776abdbc2b
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
bb5f1ea6cc5e getting started
Henry S. Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
1 # .bash_profile
bb5f1ea6cc5e getting started
Henry S. Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
2
bb5f1ea6cc5e getting started
Henry S. Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
3 # Get the aliases and functions
bb5f1ea6cc5e getting started
Henry S. Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
4 if [ -f ~/.bashrc ]; then
bb5f1ea6cc5e getting started
Henry S. Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
5 . ~/.bashrc
bb5f1ea6cc5e getting started
Henry S. Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
6 fi
bb5f1ea6cc5e getting started
Henry S. Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
7
bb5f1ea6cc5e getting started
Henry S. Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
8 # User specific environment and startup programs
bb5f1ea6cc5e getting started
Henry S. Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
9