1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
+
+
+
+
|
#! /bin/sh
# mtt2reps_txt: Gives a tabular listing of representations and languages
# P J Gawthrop July 1998, October 1998
# Copyright (c) P.J.Gawthrop, 1998
###############################################################
## Version control history
###############################################################
## $Id$
## $Log$
## Revision 1.7 2000/04/04 16:15:14 peterg
## Fixed awk prob - must be the same sep. for each field (?)
## So tr tab to space
##
## Revision 1.6 2000/04/04 13:09:51 peterg
## *** empty log message ***
##
## Revision 1.5 2000/01/19 17:26:12 peterg
## Now includes the representation title.
##
## Revision 1.4 1999/03/09 00:03:06 peterg
|
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
|
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
|
-
+
|
## Removed mtt help - replaced by grep #SUMMARY - quicker
##
## Revision 1.1 1998/10/20 08:15:08 peterg
## Initial revision
##
###############################################################
sep='|'; # Separates the languages from the rest.
representations=`grep '#SUMMARY' $MTTPATH/mtt | awk '{print $2'} | sort -u `
for rep in $representations ; do
## Title should be same for all languages -- but extract the first non-empty version
title=`grep '#SUMMARY' $MTTPATH/mtt | tr '\t' ' ' | grep "$rep[ *]" | \
awk '{if (NF>2) {for (i=3;i<NF-1;i++) printf("%s ",$i); NF1=NF-1; printf("%s\n",$NF1)}}' |\
head -1`
|
50
51
52
53
54
55
56
57
58
59
60
61
62
63
|
54
55
56
57
58
59
60
61
62
63
64
65
66
67
|
-
+
|
}
else
if (($2==rep)||($2==sprintf("%s*",rep))) print $NF
}' rep=$rep |\
sort -u | sed 's/[()]//g'`
Title='('$title')'
echo $rep $Title $language
echo -e $rep $Title '\t' $sep $language
done
|