CZ-NIC/run-or-raise

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/...).

  • 🎉1
e3rd commented

Could you try current master here from the repository? With the change I just made it started working.

  • ❤️1
lydell commented

Sure! Except I don’t know how – I’ve never worked on Gnome extensions before.

e3rd commented
  1. Download this repository a replace files in the ~/.local/share/gnome-shell/extensions/run-or-raise@edvard.cz/
  2. Restart the shell (tell the system to reload extension files): <Alt>+<F2>, r, <Enter>
  3. Reload the extension by toggling off and on in gnome-shell-extension-prefs (you may have to sudo apt install gnome-shell-extension-prefs first)
  4. Ask if you face another problem :)

(You may restart instead of 2. and 3.)

lydell commented

Thanks! Latest master seems to work perfectly! 💯

  • 👍1