# Where should we write the GIF?
Output output/mr.gif
# Set up a 1200x600 terminal with 15px font.
Set FontSize 15
Set Width 1000
Set Height 800
Set TypingSpeed 100ms
# Type a command in the terminal.
Sleep 700ms
Type "mr -fr /"
Sleep 1500ms
# Run the command by pressing enter.
Enter
# Admire the output for a bit.
Right 10
Sleep 4000ms
Left 15
Sleep 4s