1# Where should we write the GIF? 2Output demo.gif 3 4# Set up a 1200x600 terminal with 46px font. 5Set FontSize 46 6Set Width 1200 7Set Height 600 8 9# Type a command in the terminal. 10Type@100ms "echo 'Welcome to VHS!'" 11 12# Pause for dramatic effect... 13Sleep 500ms 14 15# Run the command by pressing enter. 16Enter 17 18# Admire the output for a bit. 19Sleep 5s