Mensuel Shaarli

Tous les liens d'un mois sur une page.

July, 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.

Note: Méthodes complémentaires de programmation en C++

Pour ce dernier item, les exemples donnés dans le lien ne sont pas très parlants, je préfère celui donné par Clemens Mayer.

std::vector<Task> tasks;
for(auto &task : tasks) {
do_something_with(task);
}