removing directories in /usr/share/doc/
is it completely safe to simply 'rm -rf' certain directories in /usr/share/doc? i've noticed that /usr/share/doc takes up the largest disk space in my /usr partition and i hardly ever read any doc in it, since i can almost always find the doc somewhere in the net. and some packages even have the same doc in different languages taking up even more space. it would be nice if apt-get has an option to not install files destined for /usr/share/doc/package. __ Do You Yahoo!? Send FREE video emails in Yahoo! Mail! http://promo.yahoo.com/videomail/
Re: removing directories in /usr/share/doc/
On Sat, 19 Jan 2002 08:28:10 -0800 (PST) Patrick Dahiroc [EMAIL PROTECTED] wrote: is it completely safe to simply 'rm -rf' certain directories in /usr/share/doc? i've noticed that /usr/share/doc takes up the largest disk space in my /usr partition and i hardly ever read any doc in it, since i can almost always find the doc somewhere in the net. and some packages even have the same doc in different languages taking up even more space. it would be nice if apt-get has an option to not install files destined for /usr/share/doc/package. Many times, there will be specific doc packages, i.e. this output from dpkg -l | grep doc : gnome-db-doc gnome-dev-doc gnome-doc-tools gnumeric-doc kernel-doc-2.2.20 kernel-doc-2.4.17 multi-gnome-terminal-doc phpdoc wine-doc Have you removed all of them, 1st? -- ++ | Ron Johnson, Jr.Home: [EMAIL PROTECTED]| | Jefferson, LA USA http://ronandheather.dhs.org | || ! Millions of Chinese speak Chinese, and it's not | ! hereditary...| !Dr. Dean Edell ! ++
Re: removing directories in /usr/share/doc/
Many times, there will be specific doc packages, i.e. this output from dpkg -l | grep doc : gnome-db-doc gnome-dev-doc gnome-doc-tools gnumeric-doc kernel-doc-2.2.20 kernel-doc-2.4.17 multi-gnome-terminal-doc phpdoc wine-doc Have you removed all of them, 1st? yes. these were the ones i removed first. __ Do You Yahoo!? Send FREE video emails in Yahoo! Mail! http://promo.yahoo.com/videomail/
Re: removing directories in /usr/share/doc/
On Sat, Jan 19, 2002 at 09:12:22AM -0800, Patrick Dahiroc wrote: Many times, there will be specific doc packages, i.e. this output from dpkg -l | grep doc : gnome-db-doc gnome-dev-doc gnome-doc-tools gnumeric-doc kernel-doc-2.2.20 kernel-doc-2.4.17 multi-gnome-terminal-doc phpdoc wine-doc Have you removed all of them, 1st? yes. these were the ones i removed first. If you find that some packages install *too much* documentation, then it's probably worth it filing a bug against them, requesting that the documentation is provided in a separate package -- Karl E. Jørgensen [EMAIL PROTECTED] www.karl.jorgensen.com /\ \ / ASCII Ribbon Campaign x - Say NO to HTML in email / \ - Say NO to Word documents in email (and Macros!) pgpS957RUjiiw.pgp Description: PGP signature
Re: removing directories in /usr/share/doc/
On Sat, Jan 19, 2002 at 08:28:10AM -0800, Patrick Dahiroc wrote: is it completely safe to simply 'rm -rf' certain directories in /usr/share/doc? Current Debian policy contains a clause designed to allow people to do this without breaking things, although you may find that some packages don't conform to that policy (you can file bugs if they do). Doing this is something of a pain, though, as you have to repeat the process every time new packages are installed. Directory exclusion is on the wishlist for dpkg, and will solve this problem. it would be nice if apt-get has an option to not install files destined for /usr/share/doc/package. This is somewhat lower-level than apt-get. -- Colin Watson [EMAIL PROTECTED]
