diff options
| author | Kévin Le Gouguec <kevin.legouguec@gmail.com> | 2018-03-31 09:37:09 +0200 |
|---|---|---|
| committer | Kévin Le Gouguec <kevin.legouguec@gmail.com> | 2018-03-31 09:41:45 +0200 |
| commit | 5934f7c040de3920d1278f70296f602df7d735d9 (patch) | |
| tree | 148e0a998bed97be06d3c8515eff9bd70f221747 /update-count.sh | |
| parent | f39b75f20ec009976f58d66d1f376bc26911eb0d (diff) | |
| download | memory-leaks-5934f7c040de3920d1278f70296f602df7d735d9.tar.xz | |
Rename function
"(Un)tracked" rolls better off the tongue than "(un)committed". IMO.
I considered keeping track of "possibly lost pages" (i.e. uncommitted
files), but it's probably not an interesting metric since it will vary
from one computer to another.
The whole thing is not rigorous anyway, since tracked files might
contain uncommitted modifications.
Ah well. I still think it's a somewhat cute analogy.
Diffstat (limited to 'update-count.sh')
| -rwxr-xr-x | update-count.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/update-count.sh b/update-count.sh index e7ebf8f..eb9b5e2 100755 --- a/update-count.sh +++ b/update-count.sh @@ -1,6 +1,6 @@ #!/bin/bash -list-committed () +list-tracked () { GIT_LITERAL_PATHSPECS='' git ls-files '*.md' } @@ -21,7 +21,7 @@ count-leaks () -read words pages < <(list-committed | count-leaks) +read words pages < <(list-tracked | count-leaks) pattern="\([0-9]*\) words in \([0-9]*\) pages" actual="${words} words in ${pages} pages" |