Si vous vous êtes déjà posé la question de pourquoi diable cp ne propose pas de barre de progression, vous êtes au bon endroit (quoique ça ne doit sûrement pas être le seul) cp lors d’une copie et à moins de lui donner l’option -v est muet comme une tombe, mais il peut être nécessaire [...]
J’avais déjà utilisé gettext avec du C, mais pas avec un script shell, or sur ce dernier, il faut non seulement extraire les chaines et les traduire, mais aussi faire gaffe aux différentes expansions que peut effectuer le shell. En tout cas, ça me permet de faire un petit mémo dessus qui peut aussi servir [...]
Dans un environnement graphique, on a tendance à utiliser plusieurs terminaux et on a souvent accès à l’historique des commandes. Or l’historique des commandes tapées dans un terminal écrase celui d’un autre. Pour remédier à cela, une simple commande à intègrer dans le ~/.bashrc: shopt -s histappend Ca aura pour conséquence de ne pas écraser [...]