Команды, вставленные в bash, не записанные в истории

Время от времени я обнаружил, что когда я копирую / вставляю команду с веб-страницы (или из самого окна терминала), вложенная команда не записывается в истории bash. Например, только сейчас я сделал это:

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 

( Примечание: я набрал команды cd вручную – git push команды git push ).

Однако когда я печатаю history я вижу следующее:

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

Версия Bash:

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

Версия для Linux:

 Ubuntu 14.04 LTS 

Версия терминала:

 Gnome Terminal 3.6.2 

Это досадно, потому что, во-первых, history не показывает точно, что я сделал. Во-вторых, я не могу просто стрелка вверх, чтобы вспомнить команду, которую я только что вставил.

Почему он это делает, и как я могу остановить его?

Из bash страницы bash :

строки, начинающиеся с символа пробела, не сохраняются в списке истории.

Приложенные команды имеют пробелы перед командой и поэтому не сохраняются в истории.