Trevor Murphy <[email protected]> writes: > Hi, all. Please bear with me, as I'm still fairly green to vimpulse, > git, git send-email, and what have you. > > I prefer to use the 'make big' option. However, I can't do a 'git > pull; make big' to get myself up to date. Make complains that the bigd > directory already exists. > > Attached is a patch to fix that in the obvious way. But I feel like I > must be missing something. > > Surely other people would have encountered this by now if they also > used the big file. Am I missing the compelling reason to avoid using > it?
Indeed. What you're probably missing is `make clean', which removes the BIGDIR and its contents. That being said, I see nothing really wrong in making the change you propose, either. --- a tangent note --- At the time I wrote the target I hoped we would get rid of the big file version for good soon, but last time I brought that up Vegard disagreed. A few weeks ago my long-term grudge against Viper finally made me hack up a simple vimmy mode that does exactly what I want and nothing more, so I stopped using Vimpulse, too. --- a tangent note --- So I'll let Vegard handle this I think. :-) Štěpán _______________________________________________ implementations-list mailing list [email protected] https://lists.ourproject.org/cgi-bin/mailman/listinfo/implementations-list
