Fichier de paramètres utilisateur JupyterLab
J'utilise les conteneurs Docker pour lancer JupyterLabs et j'aimerais pouvoir appliquer les paramètres utilisateur directement au lancement, au lieu de configurer les paramètres utilisateur via l'interface utilisateur graphique "Éditeur de paramètres avancés" à chaque lancement de conteneur.
En examinant la demande d'extraction suivante, il semble que cette fonctionnalité devrait exister: https://github.com/jupyterlab/jupyterlab/pull/2585
Je n'ai rien trouvé faisant référence à cette capacité dans la documentation de JupyterLab, donc toutes les pistes seraient grandement appréciées!
Fonctionnement jupyter-lab --generate-config devrait générer un fichier de configuration dans /home/<USER>/.jupyter/jupyter_notebook_config.py
Je n'ai trouvé aucune documentation, cependant dans votre dossier ~/.jupyter/lab/user-settings/@jupyterlab si vous créez une configuration de bloc-notes personnalisée (par exemple), vous aurez un fichier créé dans notebook-extension/tracker.jupyterlab-settings.
Vous pouvez copier les dossiers que vous souhaitez utiliser pour chacun de vos conteneurs à cet emplacement, puis lorsque vous démarrez un laboratoire jupyter, vous devriez voir les configurations personnalisées chargées correctement.
Les paramètres des extensions sont documentés ici:
https://jupyterlab.readthedocs.io/en/stable/user/extensions.html#settings
En bref, vous pouvez fournir et overrides.json dans <sys-prefix>/share/jupyter/lab/settings où <sys-prefix> peut être trouvé en exécutant jupyter lab path.
L'exemple de la documentation montre un overrides.json comme ça:
{
"@jupyterlab/apputils-extension:themes": {
"theme": "JupyterLab Dark"
}
}