From e6e2d20075a016c7907b493a1506f6376d7e52df Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Echedey=20L=C3=B3pez=20Romero?= Date: Fri, 15 Jul 2022 23:53:43 +0000 Subject: [PATCH] Update 'update.sh' --- update.sh | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/update.sh b/update.sh index 2035c09..5f29343 100755 --- a/update.sh +++ b/update.sh @@ -1,5 +1,12 @@ #!/bin/sh +# Salir inmediatamente si falla la ejecuciĆ³n de un comando +set -e +# Tratar variables indefinidas como errores en sustituciĆ³n +set -u +# Mostrar comados ejecutados con sus argumentos +set -x + # Comprobar que existe directorio de la web directorio="$HOME/web" if [ "$PWD" != "$directorio" ]