diff options
Diffstat (limited to 'examples/conf.pom')
| -rw-r--r-- | examples/conf.pom | 22 |
1 files changed, 21 insertions, 1 deletions
diff --git a/examples/conf.pom b/examples/conf.pom index 90483f6..fde2274 100644 --- a/examples/conf.pom +++ b/examples/conf.pom @@ -1 +1,21 @@ -fav-colour = `green` + +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 |