remote/bash_profile @ d9ee2c4aa85b

More shell scripts, etc

author	Steve Losh <steve@stevelosh.com>
date	Sun, 26 Jan 2020 17:32:44 -0500
parents	5ba3d8d1eef5
children	b038c1a8cdd8

../bash_profile