diff options
Diffstat (limited to 'harmoneff/non_sammle_inputfiles')
| -rwxr-xr-x | harmoneff/non_sammle_inputfiles | 32 |
1 files changed, 32 insertions, 0 deletions
diff --git a/harmoneff/non_sammle_inputfiles b/harmoneff/non_sammle_inputfiles new file mode 100755 index 0000000..e8a4a43 --- /dev/null +++ b/harmoneff/non_sammle_inputfiles @@ -0,0 +1,32 @@ +#!/bin/sh + +for s in $* +do + if [ -e "$s" ] + then + u="" + t=$(echo $s | ../postpost/outputdir_of_inputfile | tr "/" " " | awk '{ print $2; }') + if [ -d "../$t" ] + then + u="../$t" + else + if [ -d "../daten_alt/$t" ] + then + u="../daten_alt/$t" + else + if [ -d "../daten_mittelalt/$t" ] + then + u="../daten_mittelalt/$t" + fi + fi + fi + if [ ! "$u" = "" ] + then + if [ ! -d "$u/Post" ] || [ ! -e "$u/Post/ft-gp" ] || [ ! -e "$u/Post/ft-fm" ] || [ ! -e "$u/Post/ft-gm" ] || [ ! -e "$u/Post/ft-fp" ] + then + echo $s + fi + fi + fi +done + |