summaryrefslogtreecommitdiffstats
path: root/installer
diff options
context:
space:
mode:
authorRamón M. Gómez <ramongomez@us.es>2019-12-04 18:54:28 +0100
committerRamón M. Gómez <ramongomez@us.es>2019-12-04 18:54:28 +0100
commitedfcca896a9a31ada60d73fc9d4ad6f19a5060b3 (patch)
tree5ea912d3d3f09cb74d31246341e7fd0a8e31d5db /installer
parenta5ed41010b462ce7121766bde23e6abf316b7eeb (diff)
#914: Avoid installation on a previously installed system.
Diffstat (limited to 'installer')
-rwxr-xr-xinstaller/opengnsys_installer.sh6
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