Skip to content

Commit 894690d

Browse files
committed
Merge remote-tracking branch 'origin/master' into edge
2 parents 1aeb790 + 4bb11ef commit 894690d

File tree

2 files changed

+4
-0
lines changed

2 files changed

+4
-0
lines changed

mig/install/MiGserver-template.conf

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -428,6 +428,8 @@ __JUPYTER_SECTIONS__
428428
# Semi-colon separated list of user=jumpaddr pairs to override for some users
429429
# service_jumphost_address_map =
430430
# service_jumphost_user = mist
431+
# Path to the ssh key used for managing user public keys on cloud jumphost
432+
# service_jumphost_key = ~/.ssh/cloud-jumphost-key
431433
# Semi-colon separated list of user=jumpuser pairs to override for some users
432434
# service_jumphost_user_map =
433435
# Helper to automatically add user pub keys on jumphost

tests/fixture/confs-stdlocal/MiGserver.conf

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -428,6 +428,8 @@ lrmstypes = Native Native-execution-leader Batch Batch-execution-leader
428428
# Semi-colon separated list of user=jumpaddr pairs to override for some users
429429
# service_jumphost_address_map =
430430
# service_jumphost_user = mist
431+
# Path to the ssh key used for managing user public keys on cloud jumphost
432+
# service_jumphost_key = ~/.ssh/cloud-jumphost-key
431433
# Semi-colon separated list of user=jumpuser pairs to override for some users
432434
# service_jumphost_user_map =
433435
# Helper to automatically add user pub keys on jumphost

0 commit comments

Comments
 (0)