Gnome 3.32 / Ubuntu 19.04 support?
Closed this issue · 5 comments
lydell commented
Hi! I like this extension very much.
Would it be possible to update it for Gnome 3.32 / Ubuntu 19.04? Currently, it does not appear to be doing anything on that version.
Maybe I can fix it myself if you have any pointers on where to start.
Thanks!
e3rd commented
Awww, it doesn't work with the next version again :D I plan to upgrade to 19.04 soon so I'll debug this when I'm there so I can live. An error could be seen for example via dmesg
(/var/log/...
).
e3rd commented
Could you try current master here from the repository? With the change I just made it started working.
lydell commented
Sure! Except I don’t know how – I’ve never worked on Gnome extensions before.
e3rd commented
- Download this repository a replace files in the
~/.local/share/gnome-shell/extensions/run-or-raise@edvard.cz/
- Restart the shell (tell the system to reload extension files):
<Alt>+<F2>, r, <Enter>
- Reload the extension by toggling off and on in
gnome-shell-extension-prefs
(you may have tosudo apt install gnome-shell-extension-prefs
first) - Ask if you face another problem :)
(You may restart instead of 2. and 3.)
lydell commented
Thanks! Latest master seems to work perfectly! 💯