You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Without access to EOS in the JupyterHub container, we need to decide if we want to provide an alternative implementation for the functionality, or just remove it completely.
Using named servers might be a possibility, if the configuration already gets saved by JH (to be checked). Also to be checked if this applies to the default server or only to the named ones.
I even see this as a suggestion upstream, so that we can set configurations for all servers, giving users a button to "change config" and "start session" (which would always pick the configuration already set).
The text was updated successfully, but these errors were encountered:
Without access to EOS in the JupyterHub container, we need to decide if we want to provide an alternative implementation for the functionality, or just remove it completely.
Using named servers might be a possibility, if the configuration already gets saved by JH (to be checked). Also to be checked if this applies to the default server or only to the named ones.
I even see this as a suggestion upstream, so that we can set configurations for all servers, giving users a button to "change config" and "start session" (which would always pick the configuration already set).
The text was updated successfully, but these errors were encountered: