| Commit message (Collapse) | Author | Age | Files | Lines |
|---|
| |
|
|
|
|
|
|
|
|
|
|
|
|
| |
Problem:
The name `server_configurations` is extremely verbose and irritatingly
formal and dogmatic. This overlong name is a constant nuisance when
reading, writing, and coding.
It's also not even correct: these configurations are just as much
"client" configurations as they are "server" configurations.
Solution:
- Rename to a shorter name.
- Leave placeholder files for any old URLs that link to the old
location.
|
| |
|
|
|
|
|
|
|
|
|
|
|
|
| |
File `build.zig` by convention sits at the root dir and thus can be used
to correctly identify the root directory.
This is particularly useful if `zls` has `enable_build_on_save` set to
`true`, since then the language server uses workspace path (root_dir) to
execute `zig build` command, output of which is then used to publish
diagnostic errors.
Without `build.zig` root directory can incorrectly be deduced some
layers too high at the root of the git repo. In such case
`enable_build_on_save` silently fails and does not report build error
diagnostics.
|
| | |
|
| |
|
| |
Make it more obvious not to copy/paste default_config
|
| | |
|
| |
|
