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
# gritty configuration file
# $XDG_CONFIG_HOME/gritty/config.toml (default: ~/.config/gritty/config.toml)
#
# All settings are optional. CLI flags always take priority.
# Precedence: CLI flag > [host.<name>] > [defaults] > built-in default.
# Global defaults for all sessions and connections.
[]
# forward-agent = true
# forward-open = true
# no-escape = false
# no-redraw = false
# oauth-redirect = true
# oauth-timeout = 180
# heartbeat-interval = 5
# heartbeat-timeout = 15
# ring-buffer-size = 1048576
# oauth-tunnel-idle-timeout = 5
# Connect-specific global defaults.
[]
# ssh-options = []
# no-server-start = false
# Per-host overrides, keyed by connection name.
# Connection name = hostname from destination, or -n <name> override.
#
# [host.devbox.connect]
# ssh-options = ["IdentityFile=~/.ssh/devbox_key"]
#
# [host.prod]
# forward-agent = false
# forward-open = false
# no-escape = true
#
# [host.prod.connect]
# no-server-start = true