@stumblebee @BeastOfCaerbannog @ArchismanPanigrahi Thanks all for your comments \ answers on Gunnar's memoriam page. Good to see the community pulling together for one of their own...
@Natty tp - Initial post was just an unformatted command, without any context. The OP then added some details and I further edited it so it's not NAA anymore I think.
@Zanna If I understand correctly, the solution is to use Ctrl+Shift+V to paste in the terminal, which is not anything new nor a solution actually. It's just that the OP didn't know the shortcut to paste in the terminal. The question also lacks the detail that the OP cannot paste in the terminal. So I think that the question doesn't have much value. If we are to keep it, we could close it as a dupe of this:
How do you copy and paste inside the terminal?
I've tried with Ctrl+C and Ctrl+V; neither works, they just insert ^C or ^V into the prompt. What am I doing wrong?