diff options
author | Daniel Friesel <derf@finalrewind.org> | 2021-01-09 14:07:30 +0100 |
---|---|---|
committer | Daniel Friesel <derf@finalrewind.org> | 2021-01-09 14:07:30 +0100 |
commit | 0b4e953400febccd14dd3f0833ebe15179454d18 (patch) | |
tree | 5dbd361039ab6d676b22291a393066844e53faaf | |
parent | d0eda99ebdb974fd0e26058cf8fd59b59fca934a (diff) |
add find-missing helper script
-rwxr-xr-x | share/find-missing | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/share/find-missing b/share/find-missing new file mode 100755 index 0000000..909c203 --- /dev/null +++ b/share/find-missing @@ -0,0 +1,13 @@ +#!/bin/zsh + +: > missing.txt + +./xml2json | fgrep missing | shuf | while read m eva x ; do + if [[ $x != *,* ]] && db-iris -x $eva &> /dev/null; then + echo "\n$m $eva $x" + echo $m $eva $x >> missing.txt + else + echo -n . + fi + sleep .2 +done |