From 6c97037a206c24aad6f54da4cfc32c3e63791ba3 Mon Sep 17 00:00:00 2001
From: tzlil <tzlils@protonmail.com>
Date: Tue, 1 Aug 2023 12:50:46 +0300
Subject: delete run.sh, make navi tmpfs root smaller (not needed now that /tmp
 is on-disk for builds (but still wiped on boot))

---
 hosts/navi/hardware-configuration.nix |  2 +-
 run.sh                                | 15 ---------------
 2 files changed, 1 insertion(+), 16 deletions(-)
 delete mode 100755 run.sh

diff --git a/hosts/navi/hardware-configuration.nix b/hosts/navi/hardware-configuration.nix
index 7b24c68..c0a9661 100644
--- a/hosts/navi/hardware-configuration.nix
+++ b/hosts/navi/hardware-configuration.nix
@@ -62,7 +62,7 @@ in {
     nodev."/" = {
       fsType = "tmpfs";
       mountOptions = [
-        "size=8G"
+        "size=2G"
         "defaults"
         "mode=755"
       ];
diff --git a/run.sh b/run.sh
deleted file mode 100755
index 6cdee23..0000000
--- a/run.sh
+++ /dev/null
@@ -1,15 +0,0 @@
-#!/bin/sh
-qemu-system-x86_64 \
-    -enable-kvm \
-    -m 4G \
-    -cpu host \
-    -smp 2 \
-    -hda nixos-test.img \
-    -bios OVMF.fd \
-    -display gtk,gl=on,show-cursor=on \
-    -vga none \
-    -device virtio-gpu-pci \
-    -audiodev pa,id=snd0 \
-    -usb -device usb-mouse \
-    -audiodev jack,id=jack0,out.connect-ports=Family \
-    -device ich9-intel-hda -device hda-duplex,audiodev=jack0
-- 
cgit 1.4.1