unable to open preferences on Gnome 40.5 / Ubuntu / Debian based Distros

[crysman]

I've posted it already here
#158 (comment)
Thanks for help!

[fin-ger]

Executable bit is not set for /usr/share/gnome-shell/extensions/[email protected]/src/prefs40/main.js. To (temporarily) fix this run:

$ sudo chmod +x /usr/share/gnome-shell/extensions/[email protected]/src/prefs40/main.js

[crysman]

temporary hotfix here #158 (comment)

[fin-ger]

No no no :D

Not resolved. This is quite a serious issue. Needs to stay open until someone (my time is currently very limited) fixes the issue.

[fin-ger]

"Fixing" means updating the apt package.

[crysman]

No no no :D

Not resolved. This is quite a serious issue. Needs to stay open until someone (my time is currently very limited) fixes the issue.

Agree, sorry to be impetuous, glad you re-opened and glad I've found a potential serious bug ;)

[Pear-sudo]

I have the same problem on Gnome 42.2, Ubuntu 22.04.1 LTS (following the official installation guide). And this command works. Thank you!