Как использовать обычный ssh-agent на 18.04?

Я использую установку 18.04, которая была обновлена ​​с 17.10. Когда это было в 17.10, я вытащил агент GNOME SSH / GPG, в пользу использования стандартного агента SSH командной строки. Я написал шаги, необходимые для этого.

Теперь, после обновления, я обнаружил, что ключи, похоже, были импортированы в приложение «Пароли и ключи» GNOME 3, с проблемами, которые (например, когда ключи удаляются здесь, они удаляются из моего ~/.ssh (!) / Keys, отображаемого с помощью ssh-add, но не могут быть удалены / добавлены в CLI). Хуже того, я получаю всплывающее окно, когда я пытаюсь использовать SSH на разных компьютерах для ключей, защищенных паролем (хотя, похоже, с этим связано какой-то тайм-аут, и, похоже, он кэширует его, по крайней мере, на некоторое время).

Любые идеи о том, как убить приложение GNOME, и вернуться к использованию обычного ssh-agent, учитывая то, что я уже установил на место?