Rejected idea: escape sequence to copy text: Difference between revisions

From razwiki
Jump to navigation Jump to search
No edit summary
No edit summary
 
(One intermediate revision by the same user not shown)
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 16: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 :)