hosts: add convenient switch script

diff --git a/hosts/carotte/switch b/hosts/carotte/switch
new file mode 100755 (executable)
index 0000000..4be5dd1
--- /dev/null
+++ b/hosts/carotte/switch
@@ -0,0 +1,7 @@
+#!/bin/sh -eux
+cd "${0%/*}"/../..
+
+# Building Linux or Rust requires space
+sudo mount -o remount,size=15G /tmp
+
+nix -L run .#carotte.switch "$@"

diff --git a/hosts/losurdo/switch b/hosts/losurdo/switch
new file mode 100755 (executable)
index 0000000..138759d
--- /dev/null
+++ b/hosts/losurdo/switch
@@ -0,0 +1,3 @@
+#!/bin/sh -eux
+cd "${0%/*}"/../..
+nix -L run .#losurdo.switch "$@"

diff --git a/hosts/mermet/switch b/hosts/mermet/switch
new file mode 100755 (executable)
index 0000000..8bddce8
--- /dev/null
+++ b/hosts/mermet/switch
@@ -0,0 +1,3 @@
+#!/bin/sh -eux
+cd "${0%/*}"/../..
+nix -L run .#mermet.switch "$@"