Rejected idea: escape sequence to copy text: Difference between revisions
Jump to navigation
Jump to search
m (Razzi moved page Idea: escape sequence to copy text to Rejected idea: escape sequence to copy text) |
No edit summary |
||
| Line 15: | Line 15: | ||
Update: nah just pipe the output to stdout and copy it ... don't want arbitrary output to be able to do stuff like that. Having a file with a beep is annoying enough |
Update: nah just pipe the output to stdout and copy it ... don't want arbitrary output to be able to do stuff like that. Having a file with a beep is annoying enough |
||
Ok I remember why I came up with this: you might be ssh'd into a server and so piping to a clipboard will not work on the ssh server. So it's not a terrible idea... maybe a special character could render as a copy button :) |
|||
Latest revision as of 15:54, 11 November 2022
For example
hostname -f
Which currently writes something like:
$ hostname -f data-catalog-evaluation.analytics.eqiad1.wikimedia.cloud
Could produce output like:
^[[Cdata-catalog-evaluation.analytics.eqiad1.wikimedia.cloud^[[D
Meaning "output this and copy it to the terminal host clipboard"
Update: nah just pipe the output to stdout and copy it ... don't want arbitrary output to be able to do stuff like that. Having a file with a beep is annoying enough
Ok I remember why I came up with this: you might be ssh'd into a server and so piping to a clipboard will not work on the ssh server. So it's not a terrible idea... maybe a special character could render as a copy button :)