@shell
Only valid: in prelude.
Valid options: bash (default), sh
Sets the shell interpreter to be used for execution of goal bodies and @reached_if conditions.
Example:
@shell sh
Press ← or → to navigate between chapters
Press S or / to search in the book
Press ? to show this help
Press Esc to hide this help
Only valid: in prelude.
Valid options: bash (default), sh
Sets the shell interpreter to be used for execution of goal bodies and @reached_if conditions.
Example:
@shell sh