Skip to content

Conversation

@Yoric
Copy link

@Yoric Yoric commented Feb 6, 2022

Untested so far, for some reason webext seems broken for me.

@mikeconley
Copy link
Owner

I had to upgrade my copy of web-ext like this:

npm install --global web-ext

and then I could load it (I ended up removing the --pre-install change from the package.json file).

I'll say that your patch is definitely on the right track - you've added the right things in the right places. I'm glad my circuitous, hastily-written code is still somewhat serviceable! :)

I, unfortunately, don't have a GitLab account anywhere to test this on, so I might have to rely on you for that.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants