Execute novamente vários comandos do histórico

Imagine que você acabou de executar uma dúzia de comandos. Dizer...

$ cd foo/    # history cmd #10000 (my history is very long)
$ ... more commands ...
$ cd ../     # history cmd #10012 

Eu sei que posso voltar a executá-los concatenado com !-12 && !-11 && !-10 && (and so on) && !!se acontecer de ter apenas sido executado (improvável) ou !10000 && !10001 && !10002 && (and so on), mas há uma maneira mais simples do que a mão-de digitar cada número história com um estrondo e ampersands?

Existe talvez algum tipo de coisa que eu desconheço no bash?

por exemplo !{10000-10012}, algo assim, apenas funcionando.

Isto é o que o fc comando.

fc -12 -1

ou

fc 10000 10012

Isso não é exatamente o que você deseja, pois iniciará um editor primeiro, mas isso provavelmente é uma coisa boa, pois permite verificar se você possui os comandos corretos e até editá-los usando todos os recursos do seu editor favorito. Depois de salvar as alterações e sair do editor, os comandos serão executados.