Comment by integralid

"ssh exe.dev" is exactly the Linux command you would use to connect there via ssh. And it's stylized like command prompt.