Rev 5766 | Details | Compare with Previous | Last modification | View Log | RSS feed
| Rev | Author | Line No. | Line |
|---|---|---|---|
| 2071 | zjchen | 1 | !! +exec+ +var+ +string+ |
| 11219 | bpr | 2 | tit:singlespace |
| 3 | type:$type_both |
||
| 4 | syntax:!singlespace `string' |
||
| 5 | mean:把串 `string' 里的所有空格符 (空格,\ |
||
| 6 | 制表符, 换行符) 都换成 ` ', 且把多个空格缩成一个. <br/>\ |
||
| 7 | 不会除去首尾的空格. 如果你要除去首尾空格, 可与命令\ |
||
| 8 | $(ref1)cmdlist_trim_$(ref2)cmdlist_trim_">trim</a> 合用. <br/>\ |
||
| 2071 | zjchen | 9 | 此命令对于多个词的串比较特别有用. |