view .bash_profile @ 100:18446a7eeb9e

rework handling of session key problem
author Henry S. Thompson <ht@inf.ed.ac.uk>
date Mon, 11 Sep 2023 12:56:47 +0100
parents 12776abdbc2b
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

unset MANPATH