R. Francis Smith 34e1e364cd Specify bash for install script ... There are <<< redirects which are a bash-ism, so we should specify /bin/bash and now we do.		2021-08-09 11:45:16 -05:00
..
install	Specify bash for install script	2021-08-09 11:45:16 -05:00
list-all	initial testing	2017-07-20 23:42:39 -05:00