- Enable the Arduino IDE flatpak and add it to the system modules list. - Add the user to the `dialout` group for serial device access. - Include a new Zed skill configuration that fetches a remote skill file.
25 lines
496 B
Nix
25 lines
496 B
Nix
{
|
|
pkgs,
|
|
lib,
|
|
config,
|
|
...
|
|
}: {
|
|
options.zed-editor = {
|
|
enable = lib.mkEnableOption "Zed Editor";
|
|
remote-server.enable = lib.mkEnableOption "Zed Editor Remote Server";
|
|
};
|
|
|
|
config.programs.zed-editor = lib.mkIf config.zed-editor.enable {
|
|
enable = true;
|
|
package = pkgs.zed-editor;
|
|
installRemoteServer = lib.mkIf config.zed-editor.remote-server.enable true;
|
|
};
|
|
|
|
imports = [
|
|
./user-settings
|
|
./extensions.nix
|
|
./extra-packages.nix
|
|
./skills.nix
|
|
];
|
|
}
|