-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathconfig.yaml
More file actions
64 lines (56 loc) · 2.14 KB
/
config.yaml
File metadata and controls
64 lines (56 loc) · 2.14 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
print_banner: true # Print TalOS banner on startup.
ansi_escapes: true # Support for ANSI escape sequences.
redstone_device: true # Define MineCraft's Redstone device.
logger:
level: debug # From least to most verbose: `off` `info` `warn` or `debug`.
info:
stacks: true # Print stacks after each evaluation.
prompt: true # Print the heap's `head` pointer inside the prompt.
summary: true # Print the assembled definition summary.
warn:
abort: true # Warn each time an evaluation is aborted.
redef: true # Warn on each redefinition.
debug:
input: false # Print the input buffer.
length: false # Print the assembled bytecode `length`.
head: false # Print the head bytecode.
head_ptr: false # Print the head pointer.
tail: false # Print the tail symbols.
tail_ptr: false # Print the tail pointer.
theme:
# RGB in decimal.
tui:
red:
# 16-bit 32-bit Decimal
# Default: 3daf 33cc99ee (51, 221, 170, 255)
background: 51
foreground: 204
emphasis: 153
error: 238
green:
# 16-bit 32-bit Decimal
# Default: 0d79 00bb5577 (0, 221, 119, 153)
background: 0
foreground: 187
emphasis: 85
error: 119
blue:
# 16-bit 32-bit Decimal
# Default: 2ca7 22bb9955 (34, 204, 170, 119)
background: 34
foreground: 187
emphasis: 153
error: 85
# RGB in hexadecimal.
gui:
# Default
# 16-bit 24-bit Decimal
# background #302 #330022 (51, 0, 34)
# |foreground #ddc #ddddcc (221, 221, 204)
# ||emphasis #a7a #aa77aa (170, 119, 170)
# |||error #f97 #ff9977 (255, 153, 119)
# ||||
# vvvv )
red: 3daf
green: 0d79
blue: 2ca7