Если вы просто хотите искать свою историю, вы можете просто использовать history | grep ssh, заменяя ssh на то, что вы хотите искать.
У меня была аналогичная проблема с медиа-ключами (отключить звук, воспроизведение, пауза) после установки интерфейса Unity на чистой установке 17.10. Медиа-ключи отлично работали на экране входа в систему и на рабочем столе интерфейса Gnome.
Сообщение Как найти * почему * Я не могу связать какую-то комбинацию клавиш (или какое приложение ее взяло)? дал мне представление об обходном пути.
Я установил Compiz Config Settings Manager
sudo apt install compizconfig-settings-manager
ccsm
и отключил команды плагинов. После этого клавиши мультимедиа, похоже, работают нормально.
У меня была аналогичная проблема с медиа-ключами (отключить звук, воспроизведение, пауза) после установки интерфейса Unity на чистой установке 17.10. Медиа-ключи отлично работали на экране входа в систему и на рабочем столе интерфейса Gnome.
Сообщение Как найти * почему * Я не могу связать какую-то комбинацию клавиш (или какое приложение ее взяло)? дал мне представление об обходном пути.
Я установил Compiz Config Settings Manager
sudo apt install compizconfig-settings-manager
ccsm
и отключил команды плагинов. После этого клавиши мультимедиа, похоже, работают нормально.