Rev 8930 | Go to most recent revision | Details | Compare with Previous | Last modification | View Log | RSS feed
| Rev | Author | Line No. | Line |
|---|---|---|---|
| 8566 | bpr | 1 | #! /bin/sh |
| 2 | |||
| 3 | wims_home=`pwd`; |
||
| 8571 | bpr | 4 | wims_dirtest="$wims_home/wimstest/dirtest"; |
| 5 | |||
| 6 | export w_dictionary=$wims_dirtest/dic.sorted |
||
| 8566 | bpr | 7 | export w_suffix_dictionary= |
| 8 | export wims_exec_parm="titi tutu xxxx" |
||
| 9 | $wims_home/src/Misc/translator |
||
| 8930 | bpr | 10 | export w_translator_unknown=leave |
| 8566 | bpr | 11 | |
| 12 | $wims_home/src/Misc/translator |
||
| 9045 | bpr | 13 | |
| 14 | echo "export w_dictionary=$wims_dirtest/dic.sorted |
||
| 15 | export w_suffix_dictionary= |
||
| 16 | export wims_exec_parm="titi tutu xxxx" |
||
| 17 | $wims_home/src/Misc/translator |
||
| 18 | export w_translator_unknown=leave |
||
| 19 | |||
| 20 | $wims_home/src/Misc/translator |
||
| 21 | " |