From 4bebfdeac105396bcbfc895bac9a4ec158ec940e Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Tue, 8 Jun 2021 19:55:16 +0100
Subject: [PATCH] chiark example config: Show the ssh_proxy_command config
 setting

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
---
 docs/install.md | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/docs/install.md b/docs/install.md
index 394ebbb5..def9cc46 100644
--- a/docs/install.md
+++ b/docs/install.md
@@ -31,6 +31,8 @@ base_dir = "/volatile/Otter"
 save_dir = "/home/Otter/save"
 command_socket = "/volatile/Otter/var/command.socket"
 
+ssh_proxy_command = "/volatile/Otter/bin/otter"
+
 [log]
 global_level = 'debug'
 
-- 
2.30.2