shell.sh: change indent