view .bash_profile @ 184:53a8ffe06460

use csing, and _runme_c.sh to get it initialised
author Henry S. Thompson <ht@inf.ed.ac.uk>
date Fri, 08 Sep 2023 21:44:48 +0100
parents efaa10c1e9ea
children
line wrap: on
line source

# .bash_profile

# Get the aliases and functions
if [ -f ~/.bashrc ]; then
	. ~/.bashrc
fi

# User specific environment and startup programs

export MANPATH=:/usr/share/man