Mentions légales du service

Skip to content

Dev/config autojump

SIMONIN Matthieu requested to merge dev/config_autojump into main

This allows to disable the auto jump for g5k host if the user doesn't want it. This can be done using a special config key: g5k_auto_jump

Merge request reports

Loading