Supposons que je veuille exécuter une séquence de quatre commandes que j'ai déjà exécutées. Si le premier est 432 dans l'historique des commandes, je pourrais faire:
$ !432; !433; !434; !435
Je suis curieux de savoir s'il existe un moyen plus efficace d'y parvenir.
history -p \!43{2..5}
d'imprimer des commandes 432 par 435 au terminal, adapté pour la copie ultérieure / coller.