Update 'update.sh'
This commit is contained in:
parent
a75ea39be1
commit
e6e2d20075
|
@ -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" ]
|
||||
|
|
Loading…
Reference in New Issue