Overview
| Comment: | Removed -e option in echo |
|---|---|
| Downloads: | Tarball | ZIP archive | SQL archive |
| Timelines: | family | ancestors | descendants | both | origin/master | trunk |
| Files: | files | file ages | folders |
| SHA3-256: |
619055e749ca8a7948118da469acc2be |
| User & Date: | gawthrop@users.sourceforge.net on 2000-09-14 07:54:13 |
| Other Links: | branch diff | manifest | tags |
Context
|
2000-09-14
| ||
| 08:07:00 | Reformated as an Octave function check-in: b661c4349b user: gawthrop@users.sourceforge.net tags: origin/master, trunk | |
| 07:54:13 | Removed -e option in echo check-in: 619055e749 user: gawthrop@users.sourceforge.net tags: origin/master, trunk | |
| 07:50:08 | *** empty log message *** check-in: 85667c4393 user: gawthrop@users.sourceforge.net tags: origin/master, trunk | |
Changes
Modified mttroot/mtt/bin/trans/mtt2reps_txt from [6408963972] to [07dbcc4a3d].
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 |
}
else
if (($2==rep)||($2==sprintf("%s*",rep))) print $NF
}' rep=$rep |\
sort -u | sed 's/[()]//g'`
Title='('$title')'
| | | 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
|