Bug#559124: unnecessary files

2013-11-07 Thread Axel Beckert
Control: severity -1 minor Control: tag -1 + help Hi, sergio wrote: > It's look like most non *.zwc files in /usr/share/zsh are unnecessary. Not in the current situation. Only shipping the zwc files and not the source breaks zsh badly. Clint Adams wrote: > While it would be annoying to me perso

Bug#559124: unnecessary files

2010-01-05 Thread sergio
> Which architecture are you on? amd64 % stat -c %y /usr/share/zsh/functions/Misc.zwc 2009-12-28 06:57:20.0 +0300 % stat -c %y /usr/share/zsh/functions/Misc/zcalc 2009-12-28 06:57:20.0 +0300 > > Moreover may be it will be better to compile all functions in functions.zwc > > ? > A

Bug#559124: unnecessary files

2010-01-05 Thread Clint Adams
On Wed, Jan 06, 2010 at 12:22:10AM +0300, sergio wrote: > No. But I've realized two things. > > First is that completion system depends on non-compiled files. > compinit looks for first line to see what to do with it. > > And second is that zwc files in /usr/share/zsh/functions is not used. > mti

Bug#559124: unnecessary files

2010-01-05 Thread sergio
No. But I've realized two things. First is that completion system depends on non-compiled files. compinit looks for first line to see what to do with it. And second is that zwc files in /usr/share/zsh/functions is not used. mtime for Misc/zcalc is the same as for Misc.zwc, and zsh looks for great

Bug#559124: unnecessary files

2009-12-12 Thread Clint Adams
On Wed, Dec 02, 2009 at 07:23:53AM +0300, sergio wrote: > It's not so little for have them there. This files not needed for > ordinary users. Yes, sometimes it's very handy to see something there. > But usually this needed on developing. And if this is permanently it's > reasonable to keep th

Bug#559124: unnecessary files

2009-12-01 Thread sergio
Clint Adams wrote: While it would be annoying to me personally to not have them there, this would save roughly 8 megs. It's not so little for have them there. This files not needed for ordinary users. Yes, sometimes it's very handy to see something there. But usually this needed on developin

Bug#559124: unnecessary files

2009-12-01 Thread Clint Adams
On Wed, Dec 02, 2009 at 04:35:36AM +0300, sergio wrote: > It's look like most non *.zwc files in /usr/share/zsh are unnecessary. While it would be annoying to me personally to not have them there, this would save roughly 8 megs. -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian

Bug#559124: unnecessary files

2009-12-01 Thread sergio
Package: zsh Version: 4.3.10-7 It's look like most non *.zwc files in /usr/share/zsh are unnecessary. -- sergio -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org