Jump to Sourcegraph bookmarklet

ToSourcegraph.js

javascript:(function(){ if (window.location.hostname !== "github.com" && window.location.hostname !== "sourcegraph.com") { alert("This bookmarklet may only be used on GitHub.com or Sourcegraph.com, not " + window.location.hostname + "."); return; } var pats = [ ["^/([^/]+)/([^/]+)/tree/([^/]+)$", "/github.com/$1/$2@$3", "^/github\.com/([^/]+)/([^/@]+)@([^/]+)$", "/$1/$2/tree/$3"], ["^/([^/]+)/([^/]+)/tree/([^/]+)/(.+)$", "/github.com/$1/$2@$3/-/tree/$4", "^/github\.com/([^/]+)/([^/@]+)@([^/]+)/-/tree/(.+)$", "/$1/$2/tree/$3/$4"], ["^/([^/]+)/([^/]+)/blob/([^/]+)/(.+)$", "/github.com/$1/$2@$3/-/blob/$4", "", ""], ["^/([^/]+)/([^/]+)$", "/github.com/$1/$2", "^/github\.com/([^/]+)/([^/]+)$", "/$1/$2"], ["^/([^/]+)$", "/$1", "^/([^/]+)$", "/$1"], ]; var pathname = window.location.pathname; if (window.location.hostname === 'sourcegraph.com') { if (pathname.indexOf('/sourcegraph.com/') === 0) { pathname = pathname.replace('/sourcegraph.com/', '/github.com/'); } else if (pathname.indexOf('/sourcegraph/') === 0) { pathname = '/github.com' + pathname; } } for (var i = 0; i < pats.length; i++) { var pat = pats[i]; if (window.location.hostname === "github.com") { if (pat[0] === "") { continue; } var r = new RegExp(pat[0]); if (pathname.match(r)) { var pathname2 = pathname.replace(r, pat[1]); window.location = "https://sourcegraph.com" + pathname2; return; } } else { if (pat[2] === "") { continue; } var r = new RegExp(pat[2]); if (pathname.match(r)) { var pathname2 = pathname.replace(r, pat[3]); window.location = "https://github.com" + pathname2; return; } } } alert("Unable to jump to Sourcegraph (no matching URL pattern)."); })();