vivaeltopo [1] filed a deletion request for gnome-shell-extension-
maximize-to-workspace-git [2]:

Please dont over-engineer things. Your fancy grep line does not work
and you are installing the plugin to the wrong path. This works:

local _extname="[email protected]"

[1] https://aur.archlinux.org/account/vivaeltopo/
[2] 
https://aur.archlinux.org/pkgbase/gnome-shell-extension-maximize-to-workspace-git/

Reply via email to