From 2f41f478988fc6f553562a6e7d8a751e8b81f200 Mon Sep 17 00:00:00 2001 From: Eberhard Graether Date: Fri, 13 Oct 2017 12:59:08 +0200 Subject: [PATCH] build: Fixed installing Linux build with pre-installed Sourcetrail failed --- setup/Linux/install.sh | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/setup/Linux/install.sh b/setup/Linux/install.sh index bfd686aa..8a81396f 100755 --- a/setup/Linux/install.sh +++ b/setup/Linux/install.sh @@ -9,7 +9,8 @@ fi MY_PATH="$( cd "$( dirname "$0" )" && pwd )" -cp -rf "$MY_PATH/" /opt/sourcetrail/ > /dev/null +rm -rf /opt/sourcetrail > /dev/null +cp -rf "$MY_PATH/" /opt/sourcetrail > /dev/null cp -rf "$MY_PATH/setup/share/" /usr > /dev/null cp "$MY_PATH/data/gui/icon/logo_1024_1024.png" /usr/share/icons/sourcetrail.png > /dev/null cp "$MY_PATH/data/gui/icon/project_256_256.png" /usr/share/icons/project-sourcetrail.png > /dev/null