fixes to last commit
[distro-setup] / .bash_profile
7 days ago Ian Kellingfinally fully use gnu license recommendations
8 days ago Ian Kellinglots: shellcheck, streaming stuff, fixes