billcaplan·5 năm trước·discussYou 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-de...
Also see: https://docs.sourcegraph.com/admin/config/settings#search-de...