I am a frontend dev and use Firefox as much as I can. But I can't use it for development. Firefox's dev tools need to be better. I use Chrome for development because Chrome has great dev tools.
I've used Firefox as my daily driver for years on a high end gaming laptop and have the same gripe. The dev tools are truly bad. Even outside of dev work, there's sites where I want to hide paywall or login banners by simply setting a container to "display: none;", but opening up the inspector (slow) and doing so causes the browser to freeze.
The name is in keeping with a lineage of animal tools for ad hoc page manipulation in Firefox. First was Aardvark, then Platypus. https://github.com/dvogel/AardvarkDuex
I was an original early user of Aardvark. These tools have remained obscure, but with a cult following because they’re such a quick and easy way to rip up a page to your liking. They were the direct inspiration for modern browser dom selector tools.
For hairy edge cases, uBlock Origin’s element picker is the gold standard for manipulating pages.
y-c-o-m-b|3 months ago
easygenes|3 months ago
The name is in keeping with a lineage of animal tools for ad hoc page manipulation in Firefox. First was Aardvark, then Platypus. https://github.com/dvogel/AardvarkDuex
More background: https://chatgpt.com/share/69177dc6-6378-8011-bdae-c8dcbb124f...
I was an original early user of Aardvark. These tools have remained obscure, but with a cult following because they’re such a quick and easy way to rip up a page to your liking. They were the direct inspiration for modern browser dom selector tools.
For hairy edge cases, uBlock Origin’s element picker is the gold standard for manipulating pages.