GNU/Linux bash, Shell scripts, Sistemas operativos Bash shell scripts – Ejemplos con if mayo 23, 2019