$$ » History » Version 3
Per Amundsen, 08/14/2015 02:25 PM
| 1 | 1 | Per Amundsen | _Added in 1.9.0_ |
|---|---|---|---|
| 2 | |||
| 3 | 3 | Per Amundsen | *$$[identifier]* |
| 4 | 1 | Per Amundsen | |
| 5 | The double $$ means that the script will halt unless the identifier has a value. |
||
| 6 | |||
| 7 | This can be used on any identifier to ensure it has a value. |
||
| 8 | |||
| 9 | *Example* |
||
| 10 | |||
| 11 | <pre> |
||
| 12 | 2 | Per Amundsen | ; If the user enters no name the script halts, otherwise prints the name. |
| 13 | 1 | Per Amundsen | //echo -ag $$?="Insert name" |
| 14 | </pre> |