diff options
| author | euer <root@euer.krebsco.de> | 2012-12-20 15:53:41 +0100 |
|---|---|---|
| committer | euer <root@euer.krebsco.de> | 2012-12-20 15:53:41 +0100 |
| commit | 17ffe40523144a60d4297cfb18c3b5fdaffa84af (patch) | |
| tree | 6c1104cffe5e3d581d4924edc74f4626d208970d /host/dist/arch | |
| parent | a283809283e3e0606271ae263ff8d4ccbd990af6 (diff) | |
//{hyper,json} -> //sandbox
//{icecrab,kachelmann,meinsack} -> //god
//host -> //punani/host
Diffstat (limited to 'host/dist/arch')
| -rwxr-xr-x | host/dist/arch/getsize | 17 |
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 |