difference between github wiki and the documention #2067
-
|
There are some things (like "How to install the default language servers") that are only in GitHub wiki. |
Beta Was this translation helpful? Give feedback.
Replies: 1 comment 3 replies
-
|
GitHub Wikis can be edited by anyone which make them appropriate for fast-changing documents like the language-server installation wiki (here). By default, documentation tends to go into the documentation website for new features and configuration. The keymaps document on the documentation website serves as a reference of the current set of keybinds. The keymap brainstorm wiki is some collaborative editing by users and should not be used as a reference. It is a wiki for people ideating on the current and future states of the keymap. There's also a keymap discussion issue. |
Beta Was this translation helpful? Give feedback.
-
|
can we link "How to install the default language servers" in the wiki from documentation, and so on? |
Beta Was this translation helpful? Give feedback.
-
|
Yep! Actually there's an open PR for it: #2065 |
Beta Was this translation helpful? Give feedback.
-
|
It was added in #2037, but it seems like it only changed the readme and a section for new language authors. An addition to the installation section of the docs would indeed be welcome then. Edit: Whoops seems like I replied too soon :) |
Beta Was this translation helpful? Give feedback.
GitHub Wikis can be edited by anyone which make them appropriate for fast-changing documents like the language-server installation wiki (here). By default, documentation tends to go into the documentation website for new features and configuration.
The keymaps document on the documentation website serves as a reference of the current set of keybinds. The keymap brainstorm wiki is some collaborative editing by users and should not be used as a reference. It is a wiki for people ideating on the current and future states of the keymap. There's also a keymap discussion issue.