browser tips

Browser Tips

Add a search engine

Firefox: Add a new bookmark.
Google Chrome: Right-click on the address bar and select Edit Search Engines, then you can scroll all the way down and add a new search engine entry.

Finding tickets by number

Add a new bookmark/entry, with

Name: [#] GHC ticket
Location/URL: https://gitlab.haskell.org/ghc/ghc/issues/%s
Keyword: #

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

Searching for tickets

Add a new bookmark/entry, with

Name: [t] GHC ticket search
Location/URL: https://gitlab.haskell.org/ghc/ghc/issues?scope=all&utf8=%E2%9C%93&state=opened&search=%s
Keyword: t

Now typing t <query> into the title bar jumps directly to GitLab's issue search.

Alternatively, you can use Google to perform the search:

Location/URL: https://www.google.com/search?q=%s site:gitlab.haskell.org/ghc/ghc/issues

Searching the wiki

Add a new bookmark/entry, with

Name: [w] GHC wiki search
Location/URL: http://www.google.com/search?q=%s site:gitlab.haskell.org/ghc/ghc/wikis
Keyword: w

Searching for emails

Add a new bookmark/entry, with

Name: [m] GHC mail search
Location/URL: http://www.google.com/search?q=%s (site:http://news.gmane.org/gmane.comp.lang.haskell.cvs.ghc OR site:http://www.haskell.org/pipermail/ghc-devs/ OR site:http://www.haskell.org/pipermail/glasgow-haskell-users/)
Keyword: m