On 09/14/2015 04:04 AM, Christian Brabandt wrote:
> On So, 13 Sep 2015, James McCoy wrote:
> 
>> On Sun, Sep 13, 2015 at 06:16:22PM -0700, Gary Johnson wrote:
>>> While I can appreciate the problem of running out of disc space, 3.5
>>> MB is only 0.23 % of 1.5 GB.  If that little bit is a problem, and
>>> you are trying to squeeze extra space out of your file system 0.23 %
>>> at a time, you are not spending your time wisely.
>>
>> I have 2100 packages installed on my system.  If all of them decided
>> 3.5MB of savings wasn't worthwhile, that's over 7GB of extra data.  In
>> isolation, 3.5MB isn't but in total it can be an appreciable difference.
>>
>> That being said, we stopped compressing the help files in Debian's
>> packages back in 2004 since, at the time, :helpgrep didn't work with
>> compressed help files.  I'm not sure whether that's still the case.
> 
> Looks like this is still an issue. Wondering how the fedora guys solved 
> that. Anyway here is a patch, that loads the gzip plugin when running 
> vimtutor.
> 
Sorry for the late reply it's been a chaotic past few weeks for me.
Thank you so much for trying and quite probably succeeding at fixing this.

As far as how the folks at Fedora overcame the issue mentioned though I
feel like I'm missing some context with regards to fully understanding
it hopefully they'll be able to tell you soon enough. At around the time
I reported this here I filed
https://bugzilla.redhat.com/show_bug.cgi?id=1262182 there and pointed
them to this discussion. Hopefully when they see it your question will
be answered.

-- 
-- 
You received this message from the "vim_dev" maillist.
Do not top-post! Type your reply below the text you are replying to.
For more information, visit http://www.vim.org/maillist.php

--- 
You received this message because you are subscribed to the Google Groups 
"vim_dev" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
For more options, visit https://groups.google.com/d/optout.

Raspunde prin e-mail lui