Mitchel Humpherys

As long as we're renaming I agree that we should insert the `-next` somewhere. I still want to figure out if we can carry over user settings from the old...

Regarding the settings migration, you might be able to do something like this: ``` const oldSettings = new Gio.Settings({ schema_id: OLD_SCHEMA_ID, path: OLD_SCHEMA_PATH }); const newSettings = new Gio.Settings({ schema_id:...

Cc: @ZimbiX

The readme has a section for manual installation for development (symlink rather than `make install`):  I agree that it's a bit unorthodox to have binary files committed. If we...

What happens if you restart gnome-shell (with `Alt-F2` then `r`)?

Can you please collect logs while loading the extension? `journalctl /usr/bin/gnome-shell` should do the trick

See my fork for a preview of the rendered markdown looks: https://github.com/mgalgs/sudo-edit

Yes, this is a known issue... I haven't been too motivated to fix it since I don't put spaces in my filenames, but I'll have a look sometime.

> How are you installing the extension? I'm having trouble with the symlink method: @ZimbiX I have it symlinked and it's working for me: ``` ❯ pwd /home/mgalgs/.local/share/gnome-shell/extensions ❯ ls...

> the option is not shown in prefs @sidt4 as mentioned by @ZimbiX above you can fix this by rebuilding your dconf schema (see the README changes in #780).