annotate .bash_profile @ 255:0c5b05d62eda

value from memory view working
author Henry S. Thompson <ht@inf.ed.ac.uk>
date Sat, 18 Jan 2025 23:00:30 +0000
parents 12776abdbc2b
children
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
71
12776abdbc2b get man -k working
Henry S. Thompson <ht@inf.ed.ac.uk>
parents: 0
diff changeset
10 unset MANPATH