Version 1 (modified by igloo, 5 years ago) (diff)


Firefox tips

Finding tickets by number

Under "Quick Searches" in your bookmarks, add a new bookmark, with

Name: [#] GHC ticket
Keyword: #

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

Searching for tickets

Under "Quick Searches" add a new bookmark:

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.