Note: Browser Tips is now the updated wiki page on browser tips.

Firefox Tips

Finding tickets by number

Add a new bookmark/entry, with

Name: GHC ticket
Keyword: ghc

Then typing ghc 5129 in the title bar goes to that ticket (note the space).

Searching for tickets

Add a new bookmark, with

Name: [t] GHC ticket search
Keyword: t

Now typing t <query> into the title bar searches the GHC ticket database using Google, which is much faster than Trac's search.

Last modified 2 years ago Last modified on Sep 2, 2017 10:16:34 AM