TinTin #char command

This command allows you to change the command character for TinTin. By default this is a ‘#’ character, as shown in this documentation. You can change it to any punctuation character, except backslash. (Backslash cannot be used since it is the ‘ verbatim line’ prefix.)

Example

The following example changes the command character to a forward slash, and then uses the new command character to define an alias and ring the bell:

#char {/}

/alias test {say This is a test!}

/bell