$$ » History » Revision 2
Revision 1 (Per Amundsen, 08/14/2015 02:18 PM) → Revision 2/3 (Per Amundsen, 08/14/2015 02:18 PM)
_Added in 1.9.0_ *$$* The double $$ means that the script will halt unless the identifier has a value. This can be used on any identifier to ensure it has a value. *Example* <pre> ; If the user enters no name name, the script halts, halts otherwise prints the name. //echo -ag $$?="Insert name" </pre>