On Thu, 23 Dec 2021 14:53:37 +0100 Hajo Hindriks <hhn10 at gmx.net> wrote: > Do I need > to investigate how to create a deb file? There's a package called checkinstall which does that. I have no understanding of ninja install. It may have an option to do that.