On Tue, Jul 18, 2017 at 09:15:41AM -0600, Theo de Raadt wrote: > > Sure. I don't have a really strong opinion one way or the other. When I > > mentioned I put mine in a dedicated partition, I use /data/vmm or various > > places in /home if I've already fully partitioned the machine in question. > > I don't think a seperate partition is neccessary. > > However I think this should stop saying /var/anything right away, because > that is leading people in the wrong direction. >
Please go ahead, I don't have any attachment to /var, feel free to update the man page to something different. -ml
