On 02/02/2020 03:25 PM, Patrick O'Callaghan wrote:
I'll bear it in mind, but given that this is /home, it should be mounted anyway (and in fact it is, see my reply to Ed).
Yes, I understand that, but I'm not clear if the partition you're asking about is the one mounted at /home.
_______________________________________________ users mailing list -- users@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe send an email to users-leave@xxxxxxxxxxxxxxxxxxxxxxx Fedora Code of Conduct: https://docs.fedoraproject.org/en-US/project/code-of-conduct/ List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines List Archives: https://lists.fedoraproject.org/archives/list/users@xxxxxxxxxxxxxxxxxxxxxxx