удостовериться /home/greg/.bash_history
установлен как-rw-------полномочия (chmod 400). Это могло бы быть проблемой.
Кроме того, просто попробуйте rm /home/greg/.bash_history
и попробуйте еще раз.
История Bash сохраняется в тот файл ТОЛЬКО ПОСЛЕ выхода из сессии (но CTRL+R будет работать над ним),
Наконец, удостоверьтесь, чтобы Вы нажали, CTRL+R на пустой консоли (не вводите свою команду сначала, вводите его ПОСЛЕ нажатия CTRL+R),
Почему вы решили, что URI-адрес Git SSH должен иметь :
после имени хоста? Где вы видели этот формат?
Официальная спецификация SSH-URI:
ssh://[user@]host.xz[:port]/path/to/repo.git/