From 0ce51a0048d37ddcdeb8497bfcfc71b1dfb25655 Mon Sep 17 00:00:00 2001 From: stuebinm Date: Thu, 3 Aug 2023 16:31:52 +0200 Subject: assorted nice-ish things --- home/home.nix | 2 +- home/packages.nix | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) (limited to 'home') diff --git a/home/home.nix b/home/home.nix index 49b5713..4dc0fd4 100644 --- a/home/home.nix +++ b/home/home.nix @@ -277,7 +277,7 @@ "mate" = { hostname = "192.168.69.174"; user = "root"; - identityFile = keydir + "/hetzner"; + identityFile = keydir + "/hetzner.pub"; }; "c3voc" = { hostname = "git.c3voc.de"; diff --git a/home/packages.nix b/home/packages.nix index 49d7a02..10cb78e 100644 --- a/home/packages.nix +++ b/home/packages.nix @@ -54,7 +54,7 @@ in gcc cachix julia_16-bin python39 # nix things nixfmt niv inputs.deploy-rs.defaultPackage.${system} - haskellPackages.nix-serve-ng nix-doc + haskellPackages.nix-serve-ng nix-doc nix-output-monitor # other things mercurial # isabelle -- cgit v1.2.3