From 7857bb099bea47fe1244cd95ed2cdbdc7ffe4755 Mon Sep 17 00:00:00 2001 From: Kevin Veen-Birkenbach Date: Tue, 20 Jun 2023 20:33:03 +0200 Subject: [PATCH] Optimized with https://chat.openai.com/share/b44935b7-e419-4dc1-b036-3b23abbbc399 --- gnome-extension-manager.sh | 72 ++++++++++++++++++++------------------ 1 file changed, 37 insertions(+), 35 deletions(-) diff --git a/gnome-extension-manager.sh b/gnome-extension-manager.sh index c26cf29..8d169ab 100644 --- a/gnome-extension-manager.sh +++ b/gnome-extension-manager.sh @@ -1,49 +1,51 @@ #!/bin/bash + # @param $1 enable|disable # @param $2 extension name # @param $3 repository path [optional] + action_type="$1" extension_name="$2" extension_repository_path="$3" extension_folder="$HOME/.local/share/gnome-shell/extensions/$extension_repository_path/" -echo "Install GNOME extension \"$extension_name\"..." -if [ "$action_type" == "enable" ]; - then - if [ -z "$extension_repository_path" ]; - then - if [ -d "$extension_folder" ]; - then - if [ -d "$extension_folder"".git" ]; - then - echo "Pulling changes from git..." && - (cd "$extension_folder" && git pull) || exit 1 - else - echo "No git repository. Extension will not be updated." - fi - else - echo "Install..." && - git clone "$extension_repository_path" "$extension_folder" || exit 1 - fi - if [ -f "$extension_folder""Makefile" ]; - then - tmp_extension_folder="/tmp/$extension_repository_path" - mv "$extension_folder" "$tmp_extension_folder" - echo "Compilling extension.." - (cd "$tmp_extension_folder" && make install) || exit 1 "Compilation with failed." +echo "=== GNOME Extension Installer ===" - echo "Cleaning up tmp-extension folder..."&& - rm -fr "$tmp_extension_folder" || exit 1 +echo "Installing GNOME extension \"$extension_name\"..." - else - echo "No Makefile found. Skipping compilation..." - fi +if [ "$action_type" == "enable" ]; then + if [ -z "$extension_repository_path" ]; then + if [ -d "$extension_folder" ]; then + if [ -d "$extension_folder.git" ]; then + echo "Pulling changes from git..." + (cd "$extension_folder" && git pull) || exit 1 + else + echo "No git repository. Extension will not be updated." + fi + else + echo "Cloning repository..." + git clone "$extension_repository_path" "$extension_folder" || exit 1 fi - echo "enable GNOME extension \"$extension_name\"..." && - gnome-extensions enable "$extension_name" || exit 1 + + if [ -f "$extension_folder/Makefile" ]; then + tmp_extension_folder="/tmp/$extension_repository_path" + mv "$extension_folder" "$tmp_extension_folder" + echo "Compiling extension..." + (cd "$tmp_extension_folder" && make install) || exit 1 "Compilation failed." + echo "Cleaning up temporary extension folder..." + rm -fr "$tmp_extension_folder" || exit 1 + else + echo "No Makefile found. Skipping compilation..." + fi + fi + + echo "Enabling GNOME extension \"$extension_name\"..." + gnome-extensions enable "$extension_name" || exit 1 fi -if [ "$action_type" == "disable" ]; - then - echo "disable GNOME extension \"$extension_name\"..." && - gnome-extensions disable "$extension_name" || exit 1 + +if [ "$action_type" == "disable" ]; then + echo "Disabling GNOME extension \"$extension_name\"..." + gnome-extensions disable "$extension_name" || exit 1 fi + +echo "Installation complete."