Existe-t-il un raccourci clavier pour rechercher du texte dans un bloc-notes IPython?
J'ai regardé sous Aide | Raccourcis clavier et il existe de nombreux raccourcis sympas, mais aucun pour la recherche de texte?
Le portable fonctionne dans FireFox sur Ubuntu.
Là est a find-and-replace
commande dans Jupyter. C'est la liaison clé est F (mode commande):
Bien sûr, vous pouvez trouver du texte avec la fonctionnalité du navigateur, (je le trouve parfois mieux), mais la commande dans Jupyter est également très utile. J'utilise beaucoup cette fonction Replace in selected cells
quand je copie-colle un tas de code et que je change des variables ou quelque chose comme ça:
( Remarque: Vous pouvez lancer la palette de commandes avec shift+ctrl+Pet parcourir ou exécuter d'autres commandes)
Depuis Jupyter Lab v1.0.2, l'astuce CTRL + F deux fois décrite dans mon commentaire ci-dessus ne semble plus fonctionner.
J'ai trouvé la fonctionnalité de recherche interne de jupyter lab assez ennuyeuse, car elle ne recherche que dans la cellule actuelle. Je voulais accéder directement à la recherche native du navigateur avec CTRL + F.
Pour désactiver la fonction de recherche du laboratoire jupyter (et utiliser la recherche par navigateur à la place):
{
"shortcuts": [
{
"command": "documentsearch:start",
"keys": [
"Accel F"
],
"selector": ".jp-mod-searchable",
"disabled": true
}
]
}
Cela remplacera la valeur par défaut du système, avec "disabled": true
ajouté et active le navigateur CTRL + F dans toutes les instances de Jupyter Lab.
: Embarrassé: "Courir" signifie utiliser le raccourci du navigateur "rechercher du texte sur cette page". Le raccourci Firefox pour cela est ctrl - F.