4 ms·
The best thing about the Sourcegraph instance hosted on sourcegraph.com is that you can edit the URL in your browser from https://github.com/foo/bar https://git
by Arnavion 5y ago
The best thing about the Sourcegraph instance hosted on sourcegraph.com is that you can edit the URL in your browser from https://github.com/foo/bar https://github.com/foo/bar to https://sourcegraph.com/github.com/foo/bar https://sourcegraph.com/github.com/foo/bar to be dropped down into a Sourcegraph search for that GH repo. I've been using it for a long time because of this convenience.
(Though it would be even better if the two options for case-sensitivity and regex search were enabled by default instead of needing me to toggle them on every time.)
- billcaplan 5y agoYou should be able to do that over in your User Settings (Click your picture in the top right and then Settings.) Adding these two things should change that default for you: "search.defaultCaseSensitive": true, "search.defaultPatternType": "regexp", Also see: https://docs.sourcegraph.com/admin/config/settings#search-defaultCaseSensitive https://docs.sourcegraph.com/admin/config/settings#search-de...
- Arnavion 5y agoI don't have a user account (nor do I want to make one).