From 129ee65e8cc5c91786b6b6633e4811811b137009 Mon Sep 17 00:00:00 2001 From: Brian Zalewski Date: Tue, 24 Jan 2023 11:08:37 +0000 Subject: [PATCH] Update file executable_install-gnome-extensions --- home/dot_local/bin/executable_install-gnome-extensions | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/home/dot_local/bin/executable_install-gnome-extensions b/home/dot_local/bin/executable_install-gnome-extensions index bf1e6da8..40a6ee90 100644 --- a/home/dot_local/bin/executable_install-gnome-extensions +++ b/home/dot_local/bin/executable_install-gnome-extensions @@ -163,12 +163,11 @@ function install_shell_extensions() { if [ -d "$target_installation_dir" ] && [ "$OVERWRITE_EXISTING" = "false" ]; then confirm_action "${normal_text}This extension is already installed. Do you want to overwrite it? (y/n): " || continue fi - printf "\n%sPlease wait...\n" "$info_text_blue" - filename="$(basename "$download_url" | sed 's/\?version_tag.*$//')" + filename="$(basename "$download_url" | sed 's/\?version_tag.*$//' | sed 's/shell-extension.zip/v'"$ext_version"'.shell-extension.zip/' | sed 's/@//')" wget -q "$download_url" \ && mkdir -p "$target_installation_dir" \ - && unzip -o -q "$filename" -d "$target_installation_dir" \ + && unzip -q -o "$filename" -d "$target_installation_dir" \ && sleep 1 \ && rm "$filename" schemas_dir="$target_installation_dir/schemas"