Development settings for web extensions

Damien Cassou damien at cassou.me
Fri Oct 13 06:42:36 UTC 2017


Mike Lissner <mike at free.law> writes:
> I'm trying to have different variables for my extension during development
> so that during dev I can be sure not to hit the live server.


what about having 2 manifest.json with a different value for
applications/gecko/id?  One id would be for users, one would be for
developers. https://developer.mozilla.org/en-US/Add-ons/WebExtensions/manifest.json/applications

On the JS side, you can check the id with
browser.runtime.id. https://developer.mozilla.org/en-US/Add-ons/WebExtensions/API/runtime/id

Best,

-- 
Damien Cassou
http://damiencassou.seasidehosting.st

"Success is the ability to go from one failure to another without
losing enthusiasm." --Winston Churchill


More information about the Dev-addons mailing list