Overview
Comment: | removed output tab |
---|---|
Downloads: | Tarball | ZIP archive | SQL archive |
Timelines: | family | ancestors | descendants | both | origin/master | trunk |
Files: | files | file ages | folders |
SHA3-256: |
eb232e6600ad74c26a45d6476aa72ed8 |
User & Date: | gawthrop@users.sourceforge.net on 2000-04-05 08:34:30 |
Other Links: | branch diff | manifest | tags |
Context
2000-04-06
| ||
08:36:15 | *** empty log message *** check-in: e4a01c329d user: gawthrop@users.sourceforge.net tags: origin/master, trunk | |
2000-04-05
| ||
08:34:30 | removed output tab check-in: eb232e6600 user: gawthrop@users.sourceforge.net tags: origin/master, trunk | |
08:04:01 | Minor reorganisation check-in: 25200ea518 user: gawthrop@users.sourceforge.net tags: origin/master, trunk | |
Changes
Modified mttroot/mtt/bin/trans/mtt2reps_txt from [1d4ede538f] to [6408963972].
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.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 *** ## | > > > | 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.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 ## ## Revision 1.6 2000/04/04 13:09:51 peterg ## *** empty log message *** ## |
︙ | ︙ | |||
54 55 56 57 58 59 60 | } else if (($2==rep)||($2==sprintf("%s*",rep))) print $NF }' rep=$rep |\ sort -u | sed 's/[()]//g'` Title='('$title')' | | | 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 |