diff -r 85c186fb26e7 -r b90fc7204ab9 bin/bashify --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/bin/bashify Mon May 31 08:14:03 2021 +0000 @@ -0,0 +1,1 @@ +cp $1 /tmp/out && echo -e "#!/bin/bash" | cat - $1 > /tmp/out && mv /tmp/out $1