Skip to content

Commit

Permalink
Fix check of installed gnome extensions
Browse files Browse the repository at this point in the history
  • Loading branch information
felipecrs committed Jun 23, 2024
1 parent 132003e commit 9f99c71
Showing 1 changed file with 4 additions and 2 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -10,13 +10,15 @@ ensure_path_entry "${HOME}/.local/bin"
function is_gnome_extension_installed() {
local extension="$1"

gext list --all | grep --quiet "(${extension})"
# https://github.com/essembeh/gnome-extensions-cli/issues/29
gext list --all | sed 's/\x1B\[[0-9;]\{1,\}[A-Za-z]//g' | grep --quiet "(${extension})"
}

function is_gnome_extension_enabled() {
local extension="$1"

gext list | grep --quiet "(${extension})"
# https://github.com/essembeh/gnome-extensions-cli/issues/29
gext list | sed 's/\x1B\[[0-9;]\{1,\}[A-Za-z]//g' | grep --quiet "(${extension})"
}

wanted_extensions=(
Expand Down

0 comments on commit 9f99c71

Please sign in to comment.