From e20f09c0951a4c1fb37398585b237df230451a51 Mon Sep 17 00:00:00 2001
From: Moritz Holtz <moritz.holtz@rwth-aachen.de>
Date: Thu, 13 Apr 2017 18:35:32 +0200
Subject: [PATCH] linuxparty.sh/rope: fixed wrong basename.
---
scripts/linuxparty.sh | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/scripts/linuxparty.sh b/scripts/linuxparty.sh
index 5998a52..aef292d 100644
--- a/scripts/linuxparty.sh
+++ b/scripts/linuxparty.sh
@@ -405,7 +405,7 @@ install_rope() {
mkdir -p "$ROPE_BUILD_DIR"
pushd "$ROPE_BUILD_DIR" >/dev/null
tar xf "$ROPE_TAR"
- cd $(basename "$ROPE_TAR")
+ cd $(basename "$ROPE_TAR" .tar.gz)
echo "Baue rope"
python3 setup.py build
--
GitLab