De help history
:
-p perform history expansion on each ARG and display the result
without storing it in the history list
O que eu costumo fazer é, por exemplo, history -p \!572 >> myfile
salvar o comando 572 do histórico.
Para o seu exemplo, eu usaria:
echo "$(history -p '!535') && $(history -p '!518')" >> xmodmap_-e.sh
embora provavelmente haja uma maneira de fazer isso com um único comando history
.
(Isso coloca os dois comandos em uma única linha no arquivo de script, unido ao operador &&
.)
UPDATE: A forma mais simples que eu estava procurando quando escrevi isso foi:
history -p \!535 \!518 >> whatever.sh