a7772f86a2
docs: Update CZO links from stream to channel in docs and comments.
...
Updates all the https://chat.zulip.org/#narrow/stream/ links in the
docs and comments to use the new /channel/ path. All these links are
for documentation/reference purposes only and thus, can be bulk-updated.
This commit is a part of the effort to rename stream to channel.
2024-06-11 10:44:31 -07:00
e535c96e40
Upgrade development environment to Ubuntu 22.04.
...
Signed-off-by: Anders Kaseorg <andersk@mit.edu>
2024-04-01 13:27:39 -07:00
eb2f1b4788
docs: Upgrade development environment page to use synced tabs.
...
This greatly reduces how much content for other platforms a reader has
to scroll past in order to get the development environment set up.
2024-03-22 16:54:57 -07:00
32c8d89eeb
docs: Cleanup setup-recommended.md.
...
For consistency, using `console` instead of `bash` to show commands to run, and dropping the name "christie" from examples.
2024-03-15 17:37:34 -07:00
e367718283
docs: Refactor setup-recommended into includable files.
2024-03-15 17:37:34 -07:00
Sayam Samal
Anders Kaseorg
Robert Dyer