2023-12-25 11:04:01 +01:00
|
|
|
{ pkgs, ... }:
|
|
|
|
|
{
|
|
|
|
|
environment.motd = "";
|
|
|
|
|
home-manager = {
|
|
|
|
|
useGlobalPkgs = true;
|
2023-12-25 12:02:24 +01:00
|
|
|
config = {...}: {
|
2023-12-25 11:04:01 +01:00
|
|
|
imports = [ ../hm ];
|
|
|
|
|
home.file = {
|
|
|
|
|
".ssh/authorized_keys" = {
|
|
|
|
|
# TODO Make an option and reuse at other places
|
|
|
|
|
text = "ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIPE41gxrO8oZ5n3saapSwZDViOQphm6RzqgsBUyA88pU geoffrey@frogeye.fr";
|
|
|
|
|
};
|
|
|
|
|
};
|
|
|
|
|
};
|
|
|
|
|
};
|
|
|
|
|
system.stateVersion = "23.11";
|
|
|
|
|
terminal.font = "${
|
|
|
|
|
pkgs.nerdfonts.override {
|
|
|
|
|
fonts = [ "DejaVuSansMono" ];
|
|
|
|
|
}}/share/fonts/truetype/NerdFonts/DejaVuSansMNerdFont-Regular.ttf";
|
|
|
|
|
time.timeZone = "Europe/Amsterdam";
|
|
|
|
|
}
|
