added serial console 'tio' to embedded dev role.

This commit is contained in:
Gabe Venberg 2025-09-24 15:51:46 +02:00
parent d4c1aaac94
commit e240bb3608
3 changed files with 15 additions and 10 deletions

View file

@ -10,15 +10,15 @@
};
home-manager.users.${config.host.details.user} = {config, ...}: {
home.file.distroboxConf = {
target = ".config/distrobox/distrobox.conf";
text = ''
container_additional_volumes="/nix/store:/nix/store:ro /etc/profiles/per-user:/etc/profiles/per-user:ro /etc/static/profiles/per-user:/etc/static/profiles/per-user:ro"
'';
};
home.file.distroboxConf = {
target = ".config/distrobox/distrobox.conf";
text = ''
container_additional_volumes="/nix/store:/nix/store:ro /etc/profiles/per-user:/etc/profiles/per-user:ro /etc/static/profiles/per-user:/etc/static/profiles/per-user:ro"
'';
};
home.packages = with pkgs; [
distrobox
];
home.packages = with pkgs; [
distrobox
];
};
}