Am 05.02.2026 um 17:39 schrieb Lemke, Michael - SCHAEFFLER via Cygwin:
INTERNAL
On February 5, 2026 5:20 PM John Ruckstuhl wrote:
This is a 2-phase problem. While you might manage to get man suppliers to
clean up what they release (I have serious doubts about that happening, but
I hope I'm wrong), that doesn't do anything about pasting from web pages,
documents, etc. where text is often mangled with HTML and/or Unicode
characters.
You mean like € or & ?
They get copied to the clipboard as the intended characters, not the
escapes, and thus pasted fine.
Tested with Firefox. If your browser dumps the escape sequence instead
into the clipboard, the browser is buggy.
Thomas
A filter such as I proposed would go a long way toward making copying and
pasting less cumbersome. I currently have another script (I admit to being
script-crazed) that dumps the clipboard into a temp file that I then open
in Notepad so that I can clean it up before pasting it. If my proposed
de-gunking filter existed, I could dispense with doing this a lot of the
time.
For inspiration, ask google "what program is used to paste without formatting",
and see references to PureText, Pure Paste, DevComrade, and built-in
shortcuts like Ctrl+Shift+V.
Or in mintty or similar "getclip | putclip" also removes a lot of junk.
Michael
--
Problem reports: https://cygwin.com/problems.html
FAQ: https://cygwin.com/faq/
Documentation: https://cygwin.com/docs.html
Unsubscribe info: https://cygwin.com/ml/#unsubscribe-simple
