Zkuste toto:
$ history | cut -c 8-
Pokud byste byli ochotni přejít na zsh není bash, pak to zsh nativně podporuje (stejně jako další možnosti formátování historie)
zsh> fc -ln 0
(Viz https://serverfault.com/questions/114988/removing-history-or-line-numbers-from-zsh-history-file)
awk
může pomoci:
history|awk '{$1="";print substr($0,2)}'
Tato odpověď může selhat, pokud máte dlouhou historii.
Pseudoterminál nebude přidělen, protože stdin není terminál
Změňte velikost písma terminálu pomocí C++