Hacker News new | ask | show | jobs
by rlvesco7 4714 days ago
You can change what the default escape character is in the ssh config file.