diff options
-rw-r--r-- | machines/profpatsch/.gitignore | 2 | ||||
-rw-r--r-- | pkgs/profpatsch/deploy.nix | 2 |
2 files changed, 3 insertions, 1 deletions
diff --git a/machines/profpatsch/.gitignore b/machines/profpatsch/.gitignore new file mode 100644 index 00000000..27d9b903 --- /dev/null +++ b/machines/profpatsch/.gitignore @@ -0,0 +1,2 @@ +# ignore the system gcroots created by my deploy script +/system-* diff --git a/pkgs/profpatsch/deploy.nix b/pkgs/profpatsch/deploy.nix index d6c647c3..c6f7b556 100644 --- a/pkgs/profpatsch/deploy.nix +++ b/pkgs/profpatsch/deploy.nix @@ -12,7 +12,7 @@ let MACHINE="''${1?please set machine as first argument}" HOME="''${HOME?please make sure HOME is set}" VUIZVUI="$HOME/vuizvui" - OUT_LINK="$VUIZVUI/system-$MACHINE" + OUT_LINK="$VUIZVUI/machines/profpatsch/system-$MACHINE" ${bins.nix-build} \ --show-trace \ |