blob: 73ee3f11258e63488e4c67e94222c10aa0c9d30c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
indentation-type = tabs
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
|
