1
0
Fork 0
mirror of https://github.com/nix-community/home-manager synced 2024-12-26 11:49:47 +01:00
Commit graph

3 commits

Author SHA1 Message Date
DaRacci
66c5d8b628
zed-editor: fix always generating settings.json
Makes it so settings.json no longer gets made by ensuring it can be
empty as expected when there are no extensions or userSettings
defined.

PR #6201
2024-12-13 13:34:55 +01:00
Ingo Reitz
4d8d8c385e
zed-editor: add extraPackages option
Add extraPackages option to make for example language servers
available to Zed without having to add them to `home.packages` or
similar.
2024-11-24 21:15:57 +01:00
libewa
e78cbb2027
zed-editor: add module
Add a simple module for zed-editor, a simple editor written in Rust.
2024-10-17 16:15:20 +02:00