read shelli
if [ "$shelli" = "" ] then $shelli2 = "/bin/bash";
else $shelli2 = "$shelli"