{"action":"created","issue":{"url":"https://api.github.com/repos/EFForg/https-everywhere/issues/7365","repository_url":"https://api.github.com/repos/EFForg/https-everywhere","labels_url":"https://api.github.com/repos/EFForg/https-everywhere/issues/7365/labels{/name}","comments_url":"https://api.github.com/repos/EFForg/https-everywhere/issues/7365/comments","events_url":"https://api.github.com/repos/EFForg/https-everywhere/issues/7365/events","html_url":"https://github.com/EFForg/https-everywhere/issues/7365","id":183290025,"number":7365,"title":"Made a mistake when adding a user rule, can't edit or delete it","user":{"login":"flussence","id":409860,"avatar_url":"https://avatars.githubusercontent.com/u/409860?v=3","gravatar_id":"","url":"https://api.github.com/users/flussence","html_url":"https://github.com/flussence","followers_url":"https://api.github.com/users/flussence/followers","following_url":"https://api.github.com/users/flussence/following{/other_user}","gists_url":"https://api.github.com/users/flussence/gists{/gist_id}","starred_url":"https://api.github.com/users/flussence/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/flussence/subscriptions","organizations_url":"https://api.github.com/users/flussence/orgs","repos_url":"https://api.github.com/users/flussence/repos","events_url":"https://api.github.com/users/flussence/events{/privacy}","received_events_url":"https://api.github.com/users/flussence/received_events","type":"User","site_admin":false},"labels":[{"url":"https://api.github.com/repos/EFForg/https-everywhere/labels/question","name":"question","color":"cc317c"}],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":5,"created_at":"2016-10-16T20:38:36Z","updated_at":"2016-10-20T23:04:43Z","closed_at":null,"body":"I'm using version 2016.9.21 of the Chrome extension.\r\n\r\nI thought I could add a rule for `http://([a-z]+\\.)foo\\.localdomain -> https://\\1foo.localdomain` but it seems regex is only half-supported. Trying to overwrite it with another rule doesn't work, and I have no idea where this extension saves stuff (nor is it documented) so I can't even fix it by hand."},"comment":{"url":"https://api.github.com/repos/EFForg/https-everywhere/issues/comments/255251928","html_url":"https://github.com/EFForg/https-everywhere/issues/7365#issuecomment-255251928","issue_url":"https://api.github.com/repos/EFForg/https-everywhere/issues/7365","id":255251928,"user":{"login":"flussence","id":409860,"avatar_url":"https://avatars.githubusercontent.com/u/409860?v=3","gravatar_id":"","url":"https://api.github.com/users/flussence","html_url":"https://github.com/flussence","followers_url":"https://api.github.com/users/flussence/followers","following_url":"https://api.github.com/users/flussence/following{/other_user}","gists_url":"https://api.github.com/users/flussence/gists{/gist_id}","starred_url":"https://api.github.com/users/flussence/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/flussence/subscriptions","organizations_url":"https://api.github.com/users/flussence/orgs","repos_url":"https://api.github.com/users/flussence/repos","events_url":"https://api.github.com/users/flussence/events{/privacy}","received_events_url":"https://api.github.com/users/flussence/received_events","type":"User","site_admin":false},"created_at":"2016-10-20T23:04:43Z","updated_at":"2016-10-20T23:04:43Z","body":"Sorry, but I'm going to have to cut you off there because these attempts at \"help\" are getting ridiculous and irritating, and completely miss the point.\r\n\r\nFirst off, what you were *trying* to tell me is \"the extension stores everything in `~/.config/chromium/<profile>/Local Storage/chrome-extension-gcbommkclmclpchllfjekcdonpmejbdp_0.localstorage`\". Don't feel bad for giving me three non-answers though, it took me half an hour to figure out where on disk it was too.\r\n\r\nFor anyone else who fell into this trap, here's a slightly less horrific solution than surgically editing raw JSON in an SQL query by hand:\r\n\r\n1. Open (Chromium|Chrome|Opera|Whatever)'s extensions page\r\n2. Turn on \"Developer Mode\" at the top\r\n3. Hit \"inspect background page\" under the extension\r\n4. Open the \"Application\" tab\r\n5. Open \"Local Storage\" in the left panel, \"chrome-extension://(gibberish)\" under that\r\n6. Double-click the value of the \"userRules\" row to edit it\r\n7. *Carefully* delete the broken entry in question by finding it, highlighting it and the surrounding `{…}`s, and hitting backspace\r\n8. Repeat step 7 for any duplicate-by-name entries in the list, because nothing stops those from getting in even though the UI only picks one at random to display\r\n9. Proofread that the end result is still valid JSON syntax with no trailing commas\r\n10. Disable and reenable the extension to make it notice you've edited its database from underneath it\r\n\r\nPeople shouldn't be expected to memorise a bunch of line noise file paths, the SQLite command set, or be experts in DOM and WebExtension hacking just to undo a simple typo. This is insanity.\r\n\r\n*That* is the bug I'm reporting here. I see now that I should have spelled it out from the start — for that, I apologise."}}
{"actor":{"display_login":"flussence"}}