1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
#! /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.8 2000/04/05 08:04:01 peterg
## Minor reorganisation
##
## 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
##
|
>
>
>
|
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
#! /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.9 2000/04/05 08:34:30 peterg
## removed output tab
##
## Revision 1.8 2000/04/05 08:04:01 peterg
## Minor reorganisation
##
## 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
##
|
57
58
59
60
61
62
63
64
65
66
67
68
69
70
|
}
else
if (($2==rep)||($2==sprintf("%s*",rep))) print $NF
}' rep=$rep |\
sort -u | sed 's/[()]//g'`
Title='('$title')'
echo -e $rep $Title $sep $language
done
|
|
|
60
61
62
63
64
65
66
67
68
69
70
71
72
73
|
}
else
if (($2==rep)||($2==sprintf("%s*",rep))) print $NF
}' rep=$rep |\
sort -u | sed 's/[()]//g'`
Title='('$title')'
echo $rep $Title $sep $language
done
|