On Do, 13 Sep 2018, 'Jonathon Fernyhough' via vim_use wrote:
> On 13/09/2018 10:14, Christian Brabandt wrote: > > Are you sure this version includes the patch for 8.1.349? I am a bit > > confused because of the version number: > > vim_2%3A8.1.0349+really.v8.1.0369-0 > > Yes, it's really version 8.1.369. > > This specific package is built using Launchpad's Recipes feature [1] > which combines the debian/ packaging files from one git repo [2] with > the upstream sources from another [3]. This feature triggers automatic > builds when there's a change. > > The Recipes feature only allows certain values to be used in the > generated version number [4], one of which is the Git tag, but because > tags start with a "v" I have to hack the versioning slightly. The last > version I refreshed the packaging files for was 8.1.349 so that forms > the version number "root", the upstream tag provides the "really" > version number (with leading "v"). > > It's essentially a CI system for packaging which is quite handy for > Vim's release model. > > J > > > [1] https://code.launchpad.net/~jonathonf/+recipe/vim-daily > [2] https://code.launchpad.net/~jonathonf/+git/vim-packaging/+ref/master > [3] https://code.launchpad.net/~jonathonf/vim/+git/vim-upstream/+ref/master > [4] > https://help.launchpad.net/Packaging/SourceBuilds/Recipes#Version_numbers_and_substitution_variables That is interesting. It might actually be a bug that Vim is handling the callback command when it should not. However to fix that, it would be great to have it reproducible. Forwarding to vim-dev Best, Christian -- Du mußt in allen Phasen deines Lebens stehen, sonst verrätst du dich selbst. -- Rainer Werner Fassbinder -- -- You received this message from the "vim_use" 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_use" 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.
