blob: 4a26ebd99493623b654915b144bd573414287679 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
|
#!/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" = "" ] && [ -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
done
|
