From 6b762082d6e7e4588fa7a9aab80d9f87ddd6ecc4 Mon Sep 17 00:00:00 2001 From: Andrew Engelbrecht Date: Mon, 28 Aug 2023 17:15:34 -0400 Subject: [PATCH] don't make a .../source/source/ directory --- install-extras.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/install-extras.sh b/install-extras.sh index 3dc931e..d1babb1 100755 --- a/install-extras.sh +++ b/install-extras.sh @@ -178,7 +178,7 @@ wget 'https://media.libreplanet.org/mgoblin_media/media_entries/2799/lp2023-jupi ### -tar -C $DEVTMP/source/ --no-same-owner --touch --no-overwrite-dir -xvf $TAR || true +tar -C $DEVTMP/ --no-same-owner --touch --no-overwrite-dir -xvf $TAR || true ### -- 2.25.1