better file names, simplify generate-hosts-sample script

2022-12-05 12:12:45 +01:00
parent bb9bd2f72f
commit cb20aeaeaf
7 changed files with 21 additions and 20 deletions
--- a/8
+++ b/8
@@ -0,0 +1,8 @@
+configuration {
+    font:         "DejaVu Sans Mono 10";
+    terminal:     "kitty";
+    ssh-client:   "ssh ${SSH_OPTIONS}";
+    ssh-command:  "{terminal} -e sh -c \". ~/.keychain/$(hostname)-sh && {ssh-client} {host}\"";
+    sidebar-mode: true;
+}
+@theme "sidebar"