>On Thu, 09 Jun 2016 19:42 +0200, Wolfgang Mueller wrote: >>/home/$USER/.local/share/Trash/files Not necessarily for something that is mounted by a different file system. Regards, Ralf OT: FWIW "/home/$USER/" usually is referred to as "$HOME" or tilde. $ echo ~ /home/weremouse $ echo $HOME /home/weremouse