From f033b4fbcf05e7da4858b7a94bf1922036eca3e9 Mon Sep 17 00:00:00 2001 From: Konrad Bucheli Date: Mon, 7 Mar 2022 15:02:53 +0100 Subject: [PATCH] add wmgt Proxy Jump for sshfs access to puppet server --- admin-guide/puppet/development.rst | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/admin-guide/puppet/development.rst b/admin-guide/puppet/development.rst index 628c2f0c..295b4837 100644 --- a/admin-guide/puppet/development.rst +++ b/admin-guide/puppet/development.rst @@ -20,7 +20,7 @@ The typical workflow would be: #. users makes the proper add/commit into the directory and finally pushes the code; #. from the git server web interface user triggers a merge request of the ``issue_x`` into the ``preprod`` branch. -Please note that ssh to the puppet server has to be done via ``wmgt`` nodes. +Please note that ssh to the puppet server has to be done via ``wmgt`` nodes, e.g by using the option ``-oProxyJump=wmgt01.psi.ch``. Environment names ----------------- @@ -47,6 +47,6 @@ The file should be in the form of:: And should then be passed in the command like:: - sshfs -o idmap=file,uidfile=/Users/talamoig/uidmap,nomap=ignore talamo_i@puppet01:/ ~/puppetenvs + sshfs -o idmap=file,uidfile=/Users/talamoig/uidmap,nomap=ignore,ProxyJump=wmgt01.psi.ch talamo_i@puppet01:/ ~/puppetenvs