view .bash_profile @ 291:70da637d1402

accommodate to change to digits for record type, minor tweaks, change format of input ranges, still a bug, in 11/...540.warc.gz
author Henry S. Thompson <ht@inf.ed.ac.uk>
date Wed, 09 Apr 2025 17:15:40 +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