Rejected idea: escape sequence to copy text
Jump to navigation Jump to search
Which currently writes something like:
$ hostname -f data-catalog-evaluation.analytics.eqiad1.wikimedia.cloud
Could produce output like:
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 :)