blob: fde2274a2b895103dd12116502c37433192efd56 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
indent-using-spaces = yes
show-line-numbers = yes
tab-size = 4
font-size = 18
[file-extensions]
C = .c
Cpp = .cpp, .h, .hpp
[plug-in.edit-over-ssh]
path = ~/misc/edit-over-ssh.so
enabled = yes
[plug-in.edit-over-ssh.settings]
favourite-host = my-web-server
[plug-in.edit-over-ssh.settings.hosts.my-web-server]
address = example.org
port = 22
ssh-key = ~/.ssh/id_ed25519
|
