cut/copy sometimes is missed

[Nicolò Chieffo <nicolo chieffo gmail com>]

It happens lots of times that if you quickly hit ctrl-c after having
selected the file you want to copy, the copy command is not issued.
To be sure you have to wait a couple of seconds after you click and
select the file, then you can use ctrl-c