Bien que j'utilise mon terminal quotidiennement, je ne m'étais jamais trop renseigné sur les raccourcis possibles. Je connaissais quelques raccourcis présentés ici, pas plus. Ton post a au moins pour mérite de m'y faire penser. :)
PS: j'espère que ces raccourcis sont également disponibles sur d'autres interpréteurs, Bash est quand même peu répandu sur mes machines.
# Je ne m'étais jamais renseigné
Posté par karchnu (site web personnel) . En réponse au journal Bash et les raccourcis clavier. Évalué à 2. Dernière modification le 18 septembre 2017 à 13:24.
Bien que j'utilise mon terminal quotidiennement, je ne m'étais jamais trop renseigné sur les raccourcis possibles. Je connaissais quelques raccourcis présentés ici, pas plus. Ton post a au moins pour mérite de m'y faire penser. :)
PS: j'espère que ces raccourcis sont également disponibles sur d'autres interpréteurs, Bash est quand même peu répandu sur mes machines.