Hi! On Wed, 19 Oct 2022 14:58:42 +0200 Ulli Horlacher <framstag@rus.uni-stuttgart.de> wrote: > >https://fex.rus.uni-stuttgart.de/fop/jFZ6T7wI/X-20221019141237.png > >I have selected [copy] in the file browser, but /dev/clipboard is >empty. Also getclip gives me no output. > It looks to me like you copied the file, not the file name?