dualboot.sh: bash best practices