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 origi...
09.05.2016 / 01:33