diff options
| author | pommicket <pommicket@gmail.com> | 2025-09-07 23:08:56 -0400 |
|---|---|---|
| committer | pommicket <pommicket@gmail.com> | 2025-09-07 23:08:56 -0400 |
| commit | 858ee035533a5bcbe6e68ea7054b36083752b563 (patch) | |
| tree | bdd03fe17efd3f9b635374b5ec13f1bfd5bf2f27 /examples/conf.pom | |
| parent | 39b31c18e9ff16c12cbb723a9d897ca34d9aef6d (diff) | |
Fix various bugs
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 |