Blink insists that “Spaces are not permitted in the user name.”

[JonathanWheeler]

I can’t connect to one of my hosts using Blink because Blink insists with an error that “Spaces are not permitted in the user name.” Spaces in a user name can be annoying, but they’re definitely permitted.

I’ve tried adding this to my SSH config in Blink to no avail (mirroring what I have on my other systems, but with the user name changed here for security):

User "Foo Bar"

I’ve also tried this to no avail:

blink> cat << 'EOF' > ~/.ssh/config
Host hosta* HostA*
    User "Foo Bar"
^C

For now, I just have to manually jump through a different HostB, then ssh “Foo Bar”@HostA.

Thank you for your work.

Edit:

While ssh “Foo Bar”@HostA doesn’t work, ssh Foo\ Bar@HostA does. I’m now using this.

[JonathanWheeler]

Sorry, I just noticed that I posted this to blinksh/docs instead of blinksh/blink. Please let me know if you’d like me to re-post this there.

Edit: Ugh, and now I accidentally closed this. I’ll just re-post this there. :)