Rev 11288 | Rev 14857 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 11288 | Rev 14817 | ||
|---|---|---|---|
| Line 81... | Line 81... | ||
| 81 | 81 | ||
| 82 | :oncechar |
82 | :oncechar |
| 83 | Xiao Gang |
83 | Xiao Gang |
| 84 | This special program selects words composed by selected characters, each selected character being used at most once in the word. Used in the shell script public_html/bin/dicfind |
84 | This special program selects words composed by selected characters, each selected character being used at most once in the word. Used in the shell script public_html/bin/dicfind |
| 85 | Selected characters are entered by the env var 'oncechar'. Words entered by stdin. Output to stdout. |
85 | Selected characters are entered by the env var 'oncechar'. Words entered by stdin. Output to stdout. |
| - | 86 | ||
| - | 87 | :msg2wims |
|
| - | 88 | Xiao Gang |
|
| - | 89 | transforms a text in a file and save it in another file (administrative module). Transforms some commands of the form \ in wims equivalence. By default, the commands are \(\) (replace by !insmath) and translation in html of $$, !, (to complete). More commands can be translated by the configuration of the variable msg2wims_primitives. Usage:!sh cd $$wims_home; bin/msg2wims file_in > file_out |
|
| - | 90 | name of a file |
|
| - | 91 | modified text of the input file |
|
| - | 92 | ||
| - | 93 | ||
| - | 94 | ||
| - | 95 | ||
| 86 | 96 | ||