On 23/07/2019 21:29, Greg Troxel wrote:
Thomas Klausner <wiz%netbsd.org@localhost> writes:P.S.: The file is 44k, so I'm not convinced by the "/ is small" argument. ;)100 * 44k is 4400k :-) The / and /usr distinction is longstanding, I don't think we should give up on it easily.
I concur with Greg. We should strive to keep / as small as possible. Roy