#469521 zsh-common: more docs should be moved to optional packages like zsh-doc or zsh-dev

Package:
zsh-common
Source:
zsh
Submitter:
Stepan Koltsov
Date:
2014-11-11 14:21:05 UTC
Severity:
minor
#469521#5
Date:
2008-03-05 17:12:05 UTC
From:
To:
# dush -sh /usr/share/doc/zsh-beta
888K	/usr/share/doc/zsh-beta
# dpkg -S /usr/share/doc/zsh-beta
zsh-beta: /usr/share/doc/zsh-beta

I don't have to install docs on machines with very low disk space.

/usr/share/doc should live in the package zsh-beta-doc.

S.
#469521#10
Date:
2008-03-05 17:22:00 UTC
From:
To:
OK, I've found that there is zsh-beta-doc package. So some files
should be removed from /usr/share/doc/zsh-beta dir, for example,

/usr/share/doc/zsh-beta/examples

and

/usr/share/doc/zsh-beta/zsh.texi.gz
#469521#15
Date:
2008-03-05 17:25:00 UTC
From:
To:
changelog and copyright would still need to be in the zsh-beta package.
How important is 700K to you?
#469521#20
Date:
2008-03-05 17:33:14 UTC
From:
To:
It is important when many packages installed and each eats unnecessary
space. Just 700K in all system is not important.
#469521#25
Date:
2013-05-10 20:59:45 UTC
From:
To:
Hi,

Stepan Koltsov wrote:

This is still the case after transitioning from zsh-beta to zsh.

Other files which may be moved from zsh-common to zsh-doc:

Etc/completion-style-guide
Etc/zsh-development-guide (maybe also moving to zsh-dev?)
FEATURES (not sure if that's useful in the default installation)
MACHINES

		Regards, Axel
#469521#44
Date:
2014-11-11 14:18:30 UTC
From:
To:
Hi Simon,

Simon McVittie wrote:

Depends...

For example I consider the historic changelogs to be just an upstream
changelog splitted over several files. And IMHO the upstream changelog
should be there even if you don't install the zsh-doc package. (It
causes a lintian warning of severity "pedantic" if it's not there.) I
also consider CREDITS to belong to the default installation.

Then again I do see the argument of disk-space. The biggest
documentation files in zsh-common (using "dlocate -ls zsh-common |
sort -nk5 | egrep -v
'/usr/share/zsh/functions|/$|/usr/share/man/|/usr/share/zsh/help/|/etc/zsh/'"):


I already thought about that one, too. I think it belongs to zsh-dev
if it belongs anywhere else.

I think that's a useful nice summary of the upstream project. I think
that it should stay in zsh-common.

Granted.

Yeah, I know that bug report. I already commented about it and at
least MACHINES was my suggestion there. I must though admit that that
bug report was no more very present in my mind, so thanks for
reminding me.

Definitely. But I still consider that bug of minor severity, so I'll
likely fix it somewhen after the Jessie release (or for Experimental),
but I can't say when.

I replied to #469521 only for that part of the discussion in #768937,
because that bug report should focus on the more severe stuff. :-)

		Regards, Axel