When pasting in Terminal.app, 00~ is pasted at the start and 01~ at the end. So when I want to paste /some/path, I actually get 00~/some/path01~. Also an audible sound is heard twice, so probably ^G (ASCII BELL) is also inserted at the start and end of the pasted text. When I paste the same in an...