After an evaluation, GNOME has moved from Bugzilla to GitLab. Learn more about GitLab.
No new issues can be reported in GNOME Bugzilla anymore.
To report an issue in a GNOME project, go to GNOME GitLab.
Do not go to GNOME Gitlab for: Bluefish, Doxygen, GnuCash, GStreamer, java-gnome, LDTP, NetworkManager, Tomboy.
Bug 787863 - Unable to enable or disable extensions
Unable to enable or disable extensions
Status: RESOLVED FIXED
Product: gnome-tweak-tool
Classification: Applications
Component: general
git master
Other Linux
: Normal normal
: ---
Assigned To: GNOME Tweak Tool maintainer(s)
GNOME Tweak Tool maintainer(s)
Depends on:
Blocks:
 
 
Reported: 2017-09-18 22:49 UTC by Jeremy Soller
Modified: 2017-09-20 12:28 UTC
See Also:
GNOME target: ---
GNOME version: ---

Attachments
Here is a patch that I have tested on my own system (1.03 KB, patch)
2017-09-18 22:55 UTC, Jeremy Soller 		committed Details | Review

Description Jeremy Soller 2017-09-18 22:49:17 UTC 
I am unable to enable or disable extensions in the tweak tool. Doing so sets enabled-extensions incorrectly, with any @ characters replaced with the _ character.
Comment 1 Jeremy Soller 2017-09-18 22:55:29 UTC 
Created attachment 360015 [details] [review]
Here is a patch that I have tested on my own system
Comment 2 Jura 2017-09-20 06:01:06 UTC 
Patch works for me
Comment 3 Jeremy Bicha 2017-09-20 12:28:18 UTC 
Thank you!