Comandos colados no bash não registrados no histórico [duplicado]

Question

Ocasionalmente, descubro que, quando copio / colo um comando de uma página da Web (ou da própria janela do Terminal), o comando colado não é gravado no histórico bash. Por exemplo, só agora fiz isso:

cd foo
    git push --set-upstream origin master
cd ../foo2
    git push --set-upstream origin master
cd ../foo3/
    git push --set-upstream origin master
cd ../foo4
    git push --set-upstream origin master

( Nota: digitei os comandos cd manualmente - os comandos git push foram colados).

No entanto, quando digito history , vejo isto:

 2008  cd foo
 2009  cd ../foo2
 2010  cd ../foo3/
 2011  cd ../foo4
 2012  history

Versão do Bash:

GNU bash, version 4.3.11(1)-release (x86_64-pc-linux-gnu)

Versão do Linux:

Ubuntu 14.04 LTS

Versão do terminal:

Gnome Terminal 3.6.2

Isso é meio chato, porque por uma coisa history não mostra exatamente o que eu fiz. Em segundo lugar, não posso apenas usar a seta para cima para lembrar o comando que acabei de colar.

Por que isso está acontecendo e como posso pará-lo?

    

Answer 1

Na% man_de% manpage:

lines which begin with a space character are not saved in the history list.

Os comandos que você colou possuem espaços na frente do comando e, portanto, não são salvos no histórico.