Project

General

Profile

Added in 1.9.0

$$[identifier]

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

; If the user enters no name the script halts, otherwise prints the name.
//echo -ag $$?="Insert name" 

Updated by Per Amundsen over 2 years ago · 3 revisions

Also available in: PDF HTML TXT