25 Oct
2018
25 Oct
'18
3:27 p.m.
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="maximize-to-workspace@rliang.github.com" [1] https://aur.archlinux.org/account/vivaeltopo/ [2] https://aur.archlinux.org/pkgbase/gnome-shell-extension-maximize-to-workspac...