diff options
| -rwxr-xr-x | installer/opengnsys_installer.sh | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/installer/opengnsys_installer.sh b/installer/opengnsys_installer.sh index 8af3fa98..b7752655 100755 --- a/installer/opengnsys_installer.sh +++ b/installer/opengnsys_installer.sh @@ -1620,6 +1620,12 @@ if [ "$(whoami)" != 'root' ]; then fi globalSetup +# Comprobar instalación previa. +if cat $INSTALL_TARGET/doc/VERSION.* &>/dev/null; then + echo "ERROR: OpenGnsys is already installed. Run \"$INSTALL_TARGET/lib/opengnsys_update.sh\" as root to update." + exit 2 +fi + echoAndLog "OpenGnsys installation begins at $(date)" # Introducir datos de configuración y establecer variables globales. userData |