Definitely, I am just building the fixed version. I did a cleanup of upstream files not being installed in the last bigger mariadb update, and I was just not aware mytop was already packaged. Sorry for the troubles.
Cheers, -- Ondřej Surý <ond...@sury.org> Knot DNS (https://www.knot-dns.cz/) – a high-performance DNS server Knot Resolver (https://www.knot-resolver.cz/) – secure, privacy-aware, fast DNS(SEC) resolver Vše pro chleba (https://vseprochleba.cz) – Mouky ze mlýna a potřeby pro pečení chleba všeho druhu On Mon, May 8, 2017, at 11:40, Olaf van der Spek wrote: > Hi Ondřej, > > Shouldn't it conflict / replace the mytop pkg? > > 2017-05-08 11:34 GMT+02:00 Ondřej Surý <ond...@sury.org>: > > Hi Olaf, > > > > mytop is part of MariaDB a version that fixes little bugs here and > > there: > > > > +=item Michael "Monty" Widenius <mo...@askmonty.org> > > + > > +Fixed a couple of minor bugs that gave warnings on startup. > > +Added support for MariaDB (show MariaDB at top and % done). > > +Cut long server version names to display width. > > +Made 'State' length dynamic.