diff options
author | Rangi <35663410+Rangi42@users.noreply.github.com> | 2018-07-22 23:38:09 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-07-22 23:38:09 -0400 |
commit | 5ba5a7df46822d4e95061583e3497744c6e48e50 (patch) | |
tree | 3aa8233ddc533e6ab381f9578c5f79c4518760bc | |
parent | 8aebc7ba56746b19d3338ab548ad0ab59d2012aa (diff) | |
parent | e90857dea1cb25cbb58ac68896158e4674110522 (diff) |
Merge pull request #543 from Rangi42/master
Add tools/free_space.awk
-rw-r--r-- | tools/free_space.awk | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/tools/free_space.awk b/tools/free_space.awk new file mode 100644 index 000000000..1f2b04415 --- /dev/null +++ b/tools/free_space.awk @@ -0,0 +1,13 @@ +#!/usr/bin/awk -f + +# Usage: tools/free_space.awk pokecrystal.map + +BEGIN { + total = free = 16384 * 128 +} +/^ SECTION: \$[0-7]/ { + free -= strtonum("0x" substr($3, 3)) +} +END { + printf "Free space: %d/%d (%.2f%%)\n", free, total, free * 100 / total +} |