annotate .bash_profile @ 80:db3c689175fe

catching up by hand with markup version, adding query string
author Henry Thompson <ht@markup.co.uk>
date Sat, 19 Aug 2023 15:53:59 -0400
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