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

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

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

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