zed-editor: add installRemoteServer option

This commit is contained in:
Gaetan Lepage 2025-01-17 16:40:11 +01:00 committed by Robert Helgesson
parent 0a64a209aa
commit 1b4f2a4816
No known key found for this signature in database
GPG key ID: 96E745BD17AA17ED
3 changed files with 45 additions and 0 deletions

View file

@ -1,5 +1,6 @@
{
zed-extensions = ./extensions.nix;
zed-install-remote-server = ./install-remote-server.nix;
zed-keymap = ./keymap.nix;
zed-settings = ./settings.nix;
}

View file

@ -0,0 +1,20 @@
{ config, ... }:
{
programs.zed-editor = {
enable = true;
package = config.lib.test.mkStubPackage { version = "57"; } // {
remote_server = config.lib.test.mkStubPackage {
buildScript = ''
mkdir -p $out/bin
touch $out/bin/zed-remote-server-stable-57
'';
};
};
installRemoteServer = true;
};
nmt.script = ''
assertFileExists "home-files/.zed_server/zed-remote-server-stable-57"
'';
}