diff options
| author | Ramón M. Gómez <ramongomez@us.es> | 2019-12-04 18:54:28 +0100 |
|---|---|---|
| committer | Ramón M. Gómez <ramongomez@us.es> | 2019-12-04 18:54:28 +0100 |
| commit | edfcca896a9a31ada60d73fc9d4ad6f19a5060b3 (patch) | |
| tree | 5ea912d3d3f09cb74d31246341e7fd0a8e31d5db | |
| parent | a5ed41010b462ce7121766bde23e6abf316b7eeb (diff) | |
#914: Avoid installation on a previously installed system.
| -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 |