On Mon, Nov 07, 2022 at 04:59:31PM +0100, Theo Buehler wrote: > > NB: I was certain that we use a similar skip-if-on-NFS idiom elsewhere > > in our tree, but couldn't find it, so I probably misremember things. > > Do you think of the "Don't kill NFS" check in /etc/rc?
No, specifically using `df -t nfs ...', but thanks for pointing out another similar check.