Hacker News new | ask | show | jobs
by christphrdunder 5166 days ago
alternate solution using readline: set echo-control-characters Off