Mon éditeur préféré est Vim, j'ai donc décidé de changer l'éditeur par défaut de mon installation d'ubuntu avec la commande suivante:
Sudo update-alternatives --config editor
Une invite (avec les options listées) est apparue demandant un éditeur, mais j'ai remarqué qu'elle listait deux saveurs de Vim:
Quelle est la différence entre les options de base et minuscule?
Donc, vim.basic est tout simplement Vanilla Vim (comme vous pouvez le vérifier avec apt-file vim.basic
ou dpkg -S /usr/bin/vim.basic
).
Alors que vim.tiny , comme son nom l’indique, est une version réduite de Vim (- cette question explique plus loin).
Bravo pour @terdon aux commentaires pour avoir réglé ce problème.