On 2017/07/10 00:56, Todd T. Fries wrote:
> What are our options to replace it with equivalent functionality should you
> feel the need to march on without it?

ssh `cut -d' ' -f1 .ssh/known_hosts | dmenu`

Reply via email to