Update file executable_install-gnome-extensions
This commit is contained in:
parent
326c172033
commit
129ee65e8c
1 changed files with 2 additions and 3 deletions
|
@ -163,12 +163,11 @@ function install_shell_extensions() {
|
||||||
if [ -d "$target_installation_dir" ] && [ "$OVERWRITE_EXISTING" = "false" ]; then
|
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
|
confirm_action "${normal_text}This extension is already installed. Do you want to overwrite it? (y/n): " || continue
|
||||||
fi
|
fi
|
||||||
|
|
||||||
printf "\n%sPlease wait...\n" "$info_text_blue"
|
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" \
|
wget -q "$download_url" \
|
||||||
&& mkdir -p "$target_installation_dir" \
|
&& mkdir -p "$target_installation_dir" \
|
||||||
&& unzip -o -q "$filename" -d "$target_installation_dir" \
|
&& unzip -q -o "$filename" -d "$target_installation_dir" \
|
||||||
&& sleep 1 \
|
&& sleep 1 \
|
||||||
&& rm "$filename"
|
&& rm "$filename"
|
||||||
schemas_dir="$target_installation_dir/schemas"
|
schemas_dir="$target_installation_dir/schemas"
|
||||||
|
|
Loading…
Reference in a new issue