From 639b09e9a4a6f7f9fde98edcd508bcfc36587350 Mon Sep 17 00:00:00 2001 From: Kevin Veen-Birkenbach Date: Tue, 20 Jun 2023 20:51:05 +0200 Subject: [PATCH] Solved naming bug --- gnome-extension-manager.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/gnome-extension-manager.sh b/gnome-extension-manager.sh index 480f682..9ab17b6 100644 --- a/gnome-extension-manager.sh +++ b/gnome-extension-manager.sh @@ -7,7 +7,7 @@ action_type="$1" extension_name="$2" extension_repository_path="$3" -extension_folder="$HOME/.local/share/gnome-shell/extensions/$extension_repository_path/" +extension_folder="$HOME/.local/share/gnome-shell/extensions/$extension_name/" echo "=== GNOME Extension Installer ===" @@ -29,7 +29,7 @@ if [ "$action_type" == "enable" ]; then fi if [ -f "$extension_folder/Makefile" ]; then - tmp_extension_folder="/tmp/$extension_repository_path" + tmp_extension_folder="/tmp/$extension_name" mv "$extension_folder" "$tmp_extension_folder" echo "Compiling extension..." (cd "$tmp_extension_folder" && make install) || exit 1 "Compilation failed."