sourcegraph/doc
Stefan Hengl c61b0f1a7b
all: /bin/bash -> /usr/bin/env bash (#23673)
I ran into issues setting up Sourcegraph on NixOS, because NixOS, like
some other distros, doesn't have a /bin/bash. We already use /usr/bin/env
in many of our scripts, so this improves consistency, too.
2021-08-06 12:02:43 +02:00
..
_resources docs: add redirects for docker-compose upgrade/configure pages (#23173) 2021-07-23 23:42:15 +08:00
admin all: /bin/bash -> /usr/bin/env bash (#23673) 2021-08-06 12:02:43 +02:00
adopt docs: redesign homepage and update admin/install (#22965) 2021-07-20 07:26:30 +08:00
api Backend dry run/cc/remove pagination (#22537) 2021-07-02 00:59:07 +00:00
batch_changes docs: clarify commit author is determined from local git config (#23595) 2021-08-05 08:36:33 -07:00
cli Bump src cli version and update cli docs (#22968) 2021-07-19 15:40:48 +02:00
code_insights added search limit (#23197) 2021-07-26 16:40:55 -07:00
code_intelligence doc: update apidocs docs 2021-07-08 12:40:30 -07:00
code_monitoring Add email notification config guide (#21826) 2021-06-07 11:50:07 -07:00
code_search fix typo reopsitory -> repository (#23433) 2021-07-31 04:01:13 +00:00
dev all: /bin/bash -> /usr/bin/env bash (#23673) 2021-08-06 12:02:43 +02:00
extensions extensibility: document sourcegraph.app.log (#20767) 2021-05-09 22:50:28 -07:00
getting-started Explicit tour update (#21897) 2021-06-08 22:08:49 +00:00
integration Update extension privacy docs (#22995) 2021-08-03 17:59:40 -03:00
CHANGELOG.md doc: symlink CHANGELOG.md to docs for better search results (#22918) 2021-07-16 23:25:02 +08:00
CODENOTIFY Move development docs from handbook to doc/dev (#18430) 2021-02-19 12:26:12 +01:00
dependency_decisions.yml codeintel: Move ./enterprise/lib to ./lib (#20969) 2021-05-13 19:17:14 -07:00
docsite.json Code monitoring: docs (#16173) 2020-12-16 02:24:15 +08:00
index.md release: sourcegraph@3.30.3 (#23337) 2021-07-29 00:51:10 +00:00
sidebar.md doc(admin): move migrations and updates to relevant index.md (#23217) 2021-07-28 22:37:35 +08:00