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.