>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
___________________________________________________
This message is from the kde-linux mailing list.
Account management:  https://mail.kde.org/mailman/listinfo/kde-linux.
Archives: http://lists.kde.org/.
More info: http://www.kde.org/faq.html.

Reply via email to