2 Feb
2020
2 Feb
'20
5:16 p.m.
On Sun, Feb 2, 2020, 3:42 PM Joe Zeff joe@zeff.us wrote:
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.
This. Could you share the output of `mount` and `sudo lvdisplay`?