[Geany-Users] Re: Geany 1.37 vs 1.38

2023-06-21 Thread Dominic Hopf via Users
I don't know, as I did not build the flatpak nor use it myself. The flatpak would need to bundle the plugins, of course (as flatpaks bundle everything else as well). I guess that still needs to be tested as well as if it was possible to install flatpaks on CentOS 7 at all. Regards, Dominic On

[Geany-Users] Re: Geany 1.37 vs 1.38

2023-06-21 Thread Dominic Hopf via Users
Also, you did not come back to my point on installing a flatpak instead. If it was possible for you to follow instructions like e.g. these ones that would be great: https://linuxconfig.org/how-to-install-flatpak-on-centos Regards, Dominic On Wed, Jun 21, 2023 at 8:16 AM Dominic Hopf wrote: >

[Geany-Users] Re: Geany 1.37 vs 1.38

2023-06-21 Thread Lex Trotman via Users
On Wed, 21 Jun 2023 at 17:06, Dominic Hopf wrote: > > I don't know, as I did not build the flatpak nor use it myself. Seems like flathub doesn't list who maintains it, AFAICT, so could be anybody, competence unknown. IIRC kugel- identified some issues relating to flatpacking Geany, not sure if

[Geany-Users] Re: Geany 1.37 vs 1.38

2023-06-21 Thread Dominic Hopf via Users
So I don't have any CentOS 7 system up and running somewhere. Can you check if this ominous Red Hat Developer Toolset can be found on your CentOS 7 machine and what the package name is? If so, that still doesn't have to mean that the build servers in the Fedora infrastructure responsible for

[Geany-Users] Re: Geany 1.37 vs 1.38

2023-06-21 Thread Lex Trotman via Users
On Wed, 21 Jun 2023 at 16:21, Dominic Hopf via Users wrote: > > Also, you did not come back to my point on installing a flatpak instead. If > it was possible for you to follow instructions like e.g. these ones that > would be great: > > https://linuxconfig.org/how-to-install-flatpak-on-centos >

[Geany-Users] Re: Geany 1.37 vs 1.38

2023-06-21 Thread H via Users
On June 21, 2023 3:51:44 AM EDT, Lex Trotman via Users wrote: >On Wed, 21 Jun 2023 at 17:06, Dominic Hopf >wrote: >> >> I don't know, as I did not build the flatpak nor use it myself. > >Seems like flathub doesn't list who maintains it, AFAICT, so could be >anybody, competence unknown. IIRC

[Geany-Users] Re: Geany 1.37 vs 1.38

2023-06-21 Thread H via Users
On 06/21/2023 02:16 AM, Dominic Hopf wrote: > So I don't have any CentOS 7 system up and running somewhere. Can you check > if this ominous Red Hat Developer Toolset can be found on your CentOS 7 > machine and what the package name is? > If so, that still doesn't have to mean that the build

[Geany-Users] Re: Geany 1.37 vs 1.38

2023-06-21 Thread Lex Trotman via Users
On Thu, 22 Jun 2023 at 08:49, H via Users wrote: > > On 06/21/2023 02:16 AM, Dominic Hopf wrote: > > So I don't have any CentOS 7 system up and running somewhere. Can you check > if this ominous Red Hat Developer Toolset can be found on your CentOS 7 > machine and what the package name is? > If