2017-08-02 2 views
0

J'ai modifié certains raccourcis pour mes ordinateurs portables Jupyter. Bien que, après tout, je n'aime plus mes changements.Réinitialiser les raccourcis de l'ordinateur portable jupyter par défaut

Y at-il un moyen de réinitialiser tous les raccourcis à la fois? Sous "Aide" -> "Modifier les raccourcis clavier", je ne vois pas cette option. Je pourrais seulement passer toutes les clés manuellement et les changer en arrière ... Si je savais même que j'ai changé ...

Répondre

0

AFAIK, il n'y a aucun moyen de les réinitialiser. La méthode la plus simple que j'ai trouvée est d'ouvrir ~/.jupyter/nbconfig/notebook.json et de supprimer l'intégralité de la portée "keys". Faites une sauvegarde du fichier avant de le toucher, bien sûr. Voici le mien:

{ 
    "load_extensions": { 
    "collapsible_headings/main": true 
    }, 
    "keys": { 
    "command": { 
     "bind": { 
     "a,b,c": "jupyter-notebook:cut-cell-attachments" 
     } 
    } 
    } 
} 

Puis, après (assurez-vous de se débarrasser de cette virgule):

{ 
    "load_extensions": { 
    "collapsible_headings/main": true 
    } 
} 

Enregistrer ce fichier et recharger Jupyter.

+0

J'ai supprimé le fichier entier - parce que je n'avais rien comme des extensions ou si dedans. Cela l'a repris pour moi. Merci! – muuh