blob: e8a4a43ec1562df725a9915c09b61d5d1f4d3d2e (
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
30
31
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
|
