Date: Sun, 19 Sep 1999 18:24:03 -0600 From: Brett Glass <brett@lariat.org> To: "Rodney W. Grimes" <freebsd@gndrsh.dnsmgr.net> Cc: jobe@attrition.org (Jobe), nbm@mithrandr.moria.org (Neil Blakey-Milner), dillon@apollo.backplane.com (Matthew Dillon), freebsd-security@FreeBSD.ORG, nik@FreeBSD.ORG (Nik Clayton) Subject: Re: Documentation of security features Message-ID: <4.2.0.58.19990919181920.045dd8a0@localhost> In-Reply-To: <199909191824.LAA55646@gndrsh.dnsmgr.net> References: <4.2.0.58.19990919112902.0479f380@localhost>
index | next in thread | previous in thread | raw e-mail
At 11:24 AM 9/19/99 -0700, Rodney W. Grimes wrote: >It has been done for every shell command, that was the new builtin(1) >that was just recently commited. And from a quick look there are >78 of them, 78*23K is not a lot of space 1.8MB. But the bigger >picture is that when you now say ``man fg'' you should get the >new builtin(1) man page, which is far smaller (uncompressed: >-r--r--r-- 1 root wheel 7195 Sep 19 11:18 builtin.1). This >man page refers you to sh(1), or csh(1) for full details. This >should greatly reduce the size of the clutter (562KBytes uncompressed). This is good. >Now there is one more problem, and that is what I think is really >going on here with the person reporting non-linked files. They are >looking in /usr/share/man/cat* at the formatted cache, now that can >grow as man(1)'s cache can't tell if the source files are hard linked >and generates an individual formatted copy for each man entry, even >if it already has it filed under another name. This is something that ought to be fixed. The easiest solution that comes to mind is to replace the hard links with symlinks. man can trivially detect when it's following a symlink and what the symlink points to, and so can avoid caching the same page under multiple names. --Brett To Unsubscribe: send mail to majordomo@FreeBSD.org with "unsubscribe freebsd-security" in the body of the messagehelp
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?4.2.0.58.19990919181920.045dd8a0>