Hebdomadaire Shaarli

Tous les liens d'un semaine sur une page.

Semaine 29 (July 14, 2025)

Note: Choisir un éditeur de texte console sous Debian

Vu dans mon home, un fichier .selected_editor contenant :

# Generated by /usr/bin/select-editor                                                                                                 │
SELECTED_EDITOR="/usr/bin/vim.basic"  

Et effectivement, appeler /usr/bin/select-editor déclenche le prompt permettant de choisir l’éditeur de texte par défaut dans le terminal, parmi ceux disponibles sur le système.