1[
2 {"type":"Comment","value":"# Where should we write the GIF?"},
3 {"type":"TextWhitespace","value":"\n"},
4 {"type":"Keyword","value":"Output"},
5 {"type":"TextWhitespace","value":" "},
6 {"type":"LiteralString","value":"demo.gif"},
7 {"type":"TextWhitespace","value":"\n\n"},
8 {"type":"Comment","value":"# Set up a 1200x600 terminal with 46px font."},
9 {"type":"TextWhitespace","value":"\n"},
10 {"type":"Keyword","value":"Set"},
11 {"type":"TextWhitespace","value":" "},
12 {"type":"NameBuiltin","value":"FontSize"},
13 {"type":"TextWhitespace","value":" "},
14 {"type":"LiteralNumber","value":"46"},
15 {"type":"TextWhitespace","value":"\n"},
16 {"type":"Keyword","value":"Set"},
17 {"type":"TextWhitespace","value":" "},
18 {"type":"NameBuiltin","value":"Width"},
19 {"type":"TextWhitespace","value":" "},
20 {"type":"LiteralNumber","value":"1200"},
21 {"type":"TextWhitespace","value":"\n"},
22 {"type":"Keyword","value":"Set"},
23 {"type":"TextWhitespace","value":" "},
24 {"type":"NameBuiltin","value":"Height"},
25 {"type":"TextWhitespace","value":" "},
26 {"type":"LiteralNumber","value":"600"},
27 {"type":"TextWhitespace","value":"\n\n"},
28 {"type":"Comment","value":"# Type a command in the terminal."},
29 {"type":"TextWhitespace","value":"\n"},
30 {"type":"Keyword","value":"Type"},
31 {"type":"Punctuation", "value": "@"},
32 {"type":"LiteralNumber", "value": "100"},
33 {"type":"Text", "value": "ms"},
34 {"type":"TextWhitespace","value":" "},
35 {"type":"LiteralStringDouble","value":"\"echo 'Welcome to VHS!'\""},
36 {"type":"TextWhitespace","value":"\n\n"},
37 {"type":"Comment","value":"# Pause for dramatic effect..."},
38 {"type":"TextWhitespace","value":"\n"},
39 {"type":"Keyword","value":"Sleep"},
40 {"type":"TextWhitespace","value":" "},
41 {"type":"LiteralNumber","value":"500"},
42 {"type":"Text","value":"ms"},
43 {"type":"TextWhitespace","value":"\n\n"},
44 {"type":"Comment","value":"# Run the command by pressing enter."},
45 {"type":"TextWhitespace","value":"\n"},
46 {"type":"Keyword","value":"Enter"},
47 {"type":"TextWhitespace","value":"\n\n"},
48 {"type":"Comment","value":"# Admire the output for a bit."},
49 {"type":"TextWhitespace","value":"\n"},
50 {"type":"Keyword","value":"Sleep"},
51 {"type":"TextWhitespace","value":" "},
52 {"type":"LiteralNumber","value":"5"},
53 {"type":"Text","value":"s"}
54]
View as plain text