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 /punani | |
parent | a283809283e3e0606271ae263ff8d4ccbd990af6 (diff) |
//{hyper,json} -> //sandbox
//{icecrab,kachelmann,meinsack} -> //god
//host -> //punani/host
Diffstat (limited to 'punani')
-rwxr-xr-x | punani/host/dist/arch/getsize | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/punani/host/dist/arch/getsize b/punani/host/dist/arch/getsize new file mode 100755 index 00000000..a2ef8f95 --- /dev/null +++ b/punani/host/dist/arch/getsize @@ -0,0 +1,17 @@ +#! /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 |