Existe-t-il un moyen d'utiliser les raccourcis clavier Vim dans Google Colaboratory?
Le colaboratoire de Google est un outil incroyable et la seule chose qui m'empêche de l'utiliser plus souvent est l'absence de raccourcis clavier vim. Existe-t-il un moyen de l'activer comme il est possible de le faire pour les ordinateurs portables et le laboratoire jupyter?
Voici un petit hack pour activer le mode Vim via la console JavaScript. De façon ennuyeuse, il doit être réexécuté chaque fois qu'une cellule est exécutée, j'ai donc lié ctrl/cmd-enter et shift-enter pour cela:
function enable_vim() { document.querySelectorAll(".CodeMirror").forEach(function (e) { e.CodeMirror.setOption("vimMode", true); }); }
document.addEventListener('keydown', function(e) {
if (e.keyCode == 13 && e.metaKey || e.keyCode == 13 && e.shiftKey) {
for (var i = 0; i < 10; i++) setTimeout(enable_vim, 1000 * i);
}
});
enable_vim();
Faites juste attention à être en mode normal (pas en mode d'entrée) lors de l'exécution d'une cellule. Sinon, le mode Vim sera définitivement désactivé pour cette cellule et il faut recharger l'intégralité de l'application Web pour la réactiver.
En raison d'une conversation précédente dans cette publication, j'ai publié autovim dans le magasin d'extension Chrome. Cela fonctionne parfaitement pour autant que je l'ai trouvé avec CodeMirror éléments, mais est toujours floconneux avec CodeMirror éléments qui se cachent et s'affichent comme ceux de Markdown dans Jupyter.
https://chrome.google.com/webstore/detail/autovim/licohjbphilmljmjonhiifkldfahnmja
Vous pouvez contribuer ici si vous le souhaitez:
Pas tout de suite; n'hésitez pas à signaler un problème à https://github.com/googlecolab/colabtools .