Re: mingw32 directories, possible bug?

2023-01-01 Thread Jonathan Billings
On Sun, Jan 01, 2023 at 04:37:06PM -0500, Bill Cunningham wrote: > The one os*-db package is very recent. From Nov or Dec. Yes, but the commit to also build mingw packages is from late August. https://src.fedoraproject.org/rpms/osinfo-db/c/09fa4cadee207b2cb6a9c504416817db234acc8e?branch=f37 --

Re: mingw32 directories, possible bug?

2023-01-01 Thread Bill Cunningham
On 1/1/2023 3:55 PM, Jonathan Billings wrote: On Sun, Jan 01, 2023 at 03:02:11PM -0500, Bill C wrote: Osinfo-db-tools and libosinfo are listed. IDK what they are for, but that is what rpm says. No other rpms listed. They're used as a dependency for some virtualization packages, but the issue i

Re: mingw32 directories, possible bug?

2023-01-01 Thread Jonathan Billings
On Sun, Jan 01, 2023 at 03:02:11PM -0500, Bill C wrote: > Osinfo-db-tools and libosinfo are listed. IDK what they are for, but that > is what rpm says. No other rpms listed. They're used as a dependency for some virtualization packages, but the issue is unrelated to the role of those packages. I

Re: mingw32 directories, possible bug?

2023-01-01 Thread Bill C
Osinfo-db-tools and libosinfo are listed. IDK what they are for, but that is what rpm says. No other rpms listed. On Sun, Jan 1, 2023, 1:42 PM wrote: > > Hi. > > On Sun, 01 Jan 2023 13:03:26 -0500 Bill C wrote: > > > So is it ok to remove these directories? Or the rpms? I don't use mingw > at >

Re: mingw32 directories, possible bug?

2023-01-01 Thread Bill C
I don't have any gui systems installed, it just looks like clutter to me these directories. I don't use mingw, but, something else might That's the thing. I will try this. On Sun, Jan 1, 2023, 1:42 PM wrote: > > Hi. > > On Sun, 01 Jan 2023 13:03:26 -0500 Bill C wrote: > > > So is it ok to remov

Re: mingw32 directories, possible bug?

2023-01-01 Thread Francis . Montagnac
Hi. On Sun, 01 Jan 2023 13:03:26 -0500 Bill C wrote: > So is it ok to remove these directories? Or the rpms? I don't use mingw at > all. Directly the directories no: the rpms yes (but see below), but this is small: around 600K each on my system. To identify the related rpms, run for example:

Re: mingw32 directories, possible bug?

2023-01-01 Thread Bill C
I will check this out. Thanks. Rpm -qa |grep mingw32 returned nothing. On Sun, Jan 1, 2023, 12:48 PM George N. White III wrote: > On Sat, Dec 31, 2022 at 9:58 PM Bill Cunningham > wrote: > >> I reinstalled my system and one reason was to take a look at these >> directories that are odd. I choos

Re: mingw32 directories, possible bug?

2023-01-01 Thread Bill C
So is it ok to remove these directories? Or the rpms? I don't use mingw at all. On Sun, Jan 1, 2023, 12:48 PM George N. White III wrote: > On Sat, Dec 31, 2022 at 9:58 PM Bill Cunningham > wrote: > >> I reinstalled my system and one reason was to take a look at these >> directories that are odd

Re: mingw32 directories, possible bug?

2023-01-01 Thread George N. White III
On Sat, Dec 31, 2022 at 9:58 PM Bill Cunningham wrote: > I reinstalled my system and one reason was to take a look at these > directories that are odd. I choose minimal install and no hypervisor > checkbox. In /usr is two directories one is i686-mingw32- and another is > x86_64-mingw32- or so dir