Zed: Difference between revisions
Niklas Korz (talk | contribs) mNo edit summary |
Niklas Korz (talk | contribs) Mention home-manager remote server option |
||
Line 66: | Line 66: | ||
{ | { | ||
home.file.".zed_server/${binary_name}".source = "${remote_server}/bin/${binary_name}"; | home.file.".zed_server/${binary_name}".source = "${remote_server}/bin/${binary_name}"; | ||
} | |||
</syntaxhighlight> | |||
A more convenient home-manager option that does the same exists as well: | |||
:<syntaxhighlight lang="nix"> | |||
{ | |||
programs.zed-editor = { | |||
enable = true; | |||
installRemoteServer = true; | |||
}; | |||
} | } | ||
</syntaxhighlight> | </syntaxhighlight> |