diff options
Diffstat (limited to 'punani/host/dist')
| -rwxr-xr-x | punani/host/dist/arch/getsize | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/punani/host/dist/arch/getsize b/punani/host/dist/arch/getsize deleted file mode 100755 index a2ef8f95..00000000 --- a/punani/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 |