view .bash_profile @ 309:b6203074f18c trim

to fix unshrunk 2023-40, not yet working
author Henry S. Thompson <ht@inf.ed.ac.uk>
date Mon, 22 Dec 2025 22:18:16 +0000
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