Development settings for web extensions

Mike Lissner mike at free.law
Thu Nov 9 22:56:11 UTC 2017


That looks perfect, thank you Brent!

On Thu, Nov 9, 2017 at 11:09 AM Brent Montrose <brent at getadblock.com> wrote:

> Would the Management API work for you?
>
> The browser.management.getSelf() API returns an extension info object with
> the install type.
>
> The
> https://developer.mozilla.org/en-US/Add-ons/WebExtensions/API/management/getSelf
>
>
>
> https://developer.mozilla.org/en-US/Add-ons/WebExtensions/API/management/ExtensionInfo
>
>
>
> On Thu, Nov 9, 2017 at 12:21 PM, Mike Lissner <mike at free.law> wrote:
>
>> Well, shoot, this was an OK solution, but Chrome, IE, and Opera don't
>> support onInstalled's details.temporary property.
>>
>> Any other ideas for how to tell if an extension is being run by a
>> developer or by web-ext?
>>
>> Thanks,
>>
>> Mike
>>
>> On Fri, Oct 13, 2017 at 11:31 AM Mike Lissner <mike at free.law> wrote:
>>
>>> This is wonderful, thank you very much for your help!
>>>
>>> On Fri, Oct 13, 2017 at 8:56 AM Martin Giger <martin at humanoids.be>
>>> wrote:
>>>
>>>> Hi Mike
>>>>
>>>> onInstalled tells you if an installation is temporary:
>>>> https://developer.mozilla.org/en-US/Add-ons/WebExtensions/API/runtime/onInstalled
>>>>
>>>> Martin
>>>>
>>>> On 13.10.2017 17:38, Mike Lissner wrote:
>>>>
>>>> Is there a way from within an extension to know if it's being run by
>>>> web-ext or to know if it was installed locally (as opposed to via AMO?)
>>>>
>>>> On Thu, Oct 12, 2017 at 11:42 PM Damien Cassou <damien at cassou.me>
>>>> wrote:
>>>>
>>>>> Mike Lissner <mike at free.law> <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
>>>>>
>>>> --
>>>> Mike Lissner
>>>> Executive Director
>>>> Free Law Project
>>>> @freelawproject
>>>> https://free.law/donate/
>>>>
>>>>
>>>> _______________________________________________
>>>> Dev-addons mailing listDev-addons at mozilla.orghttps://mail.mozilla.org/listinfo/dev-addons
>>>>
>>>>
>>>> _______________________________________________
>>>> Dev-addons mailing list
>>>> Dev-addons at mozilla.org
>>>> https://mail.mozilla.org/listinfo/dev-addons
>>>>
>>> --
>>> Mike Lissner
>>> Executive Director
>>> Free Law Project
>>> @freelawproject
>>> https://free.law/donate/
>>>
>> --
>> Mike Lissner
>> Executive Director
>> Free Law Project
>> @freelawproject
>> https://free.law/donate/
>>
>> _______________________________________________
>> Dev-addons mailing list
>> Dev-addons at mozilla.org
>> https://mail.mozilla.org/listinfo/dev-addons
>>
>>
> --
Mike Lissner
Executive Director
Free Law Project
@freelawproject
https://free.law/donate/
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.mozilla.org/pipermail/dev-addons/attachments/20171109/b8cf8008/attachment.html>


More information about the Dev-addons mailing list