//{hyper,json} -> //sandbox

//{icecrab,kachelmann,meinsack} -> //god
//host -> //punani/host

1 files changed, 0 insertions, 17 deletions

diff --git a/host/dist/arch/getsize b/host/dist/arch/getsize
deleted file mode 100755
index a2ef8f95..00000000
--- a/host/dist/arch/getsize
+++ /dev/null
@@ -1,17 +0,0 @@
-#! /bin/sh
-set -euf
-sed -n '
-  /^Name/{
-    s/^Name *: *\(.*\)$/\1/
-    T
-    h
-  }
-  /^Installed Size/{
-    s/^Installed Size *: *\(.*\)$/ \1/
-    T
-    H
-    x
-    s/\n//g
-    p
-  }
-' | awk '{print$2$3" "$1}' | sort -n