Marius Gedminas wrote:

> On Thu, Apr 11, 2019 at 02:00:18PM +0200, Bram Moolenaar wrote:
> > Christian wrote:
> > > Bram,
> > > in issue 4222 (https://github.com/vim/vim/pull/4222) it was mentioned, 
> > > that the desktop file translations could be generated at build time. So 
> > > here is a patch, that adds this capabilities to the desktop files.
> ...
> > I have included this with patch 8.1.1147.  Unfortunately CI fails:
> > 
> >     msgfmt: unrecognized option '--desktop'
> > 
> > How do we work around that?  Can we force-install a newer msgfmt
> > version?
> 
> According to http://git.savannah.gnu.org/cgit/gettext.git/tree/NEWS,
> desktop file support was added in version 0.19.
> 
> Currently vim's .travis.yml specifies
> 
>   dist: trusty
> 
> Ubuntu 14.04 LTS (trusty) comes with gettext 0.18.3.
> 
> Ubuntu 16.04 LTS (xenial) comes with gettext 0.19.7 so everything should
> work nicely if you change dist: to xenial.
> 
> (This is best done in a branch so you can see if asking the CI to use
> a newer distro image breaks anything else.)

Yeah, trusty is getting old.  Can someone try a pull request to use
xenial?  Perhaps even a later one that is supported by Travis.

-- 
hundred-and-one symptoms of being an internet addict:
248. You sign your letters with your e-mail address instead of your name.

 /// Bram Moolenaar -- [email protected] -- http://www.Moolenaar.net   \\\
///        sponsor Vim, vote for features -- http://www.Vim.org/sponsor/ \\\
\\\  an exciting new programming language -- http://www.Zimbu.org        ///
 \\\            help me help AIDS victims -- http://ICCF-Holland.org    ///

-- 
-- 
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