3 ms·alternate solution using readline: set echo-control-characters Offby christphrdunder 14y agoalternate solution using readline: set echo-control-characters Off