Re: How do I change the grub kernel boot parameters in F32 ?

2020-06-19 Thread Jonathan Billings
On Jun 19, 2020, at 03:34, Stephen Morris wrote: > > My issue with BLS is the way it displays the kernel menu entries in grub, it > is exactly the same as the way grubby showed the entries which I also hated, > consequently I refuse to use BLS until such time as they provide an option to > ge

Re: flatpak question

2020-06-19 Thread David
The flatpak message that I described is no longer appearing.My "sudo flatpak update" is back to normal. For those of you brave enough or curious enough to try Rawhide, it is now on kernel 5.8.0-0.rc1. So far so good on my install.I bet there are a whole lot of GNU/Linux users that do n

Re: Random crashes/reboots under F32

2020-06-19 Thread George N. White III
On Fri, 19 Jun 2020 at 10:43, Justin Moore wrote: > About four weeks ago I upgraded from F30 to F32. I've been using this same > hardware for a few years now, and it worked fine* under multiple versions > of Fedora. > > However since I upgraded to F32 I've been finding my system randomly > reboo

Re: Random crashes/reboots under F32

2020-06-19 Thread Richard Shaw
On Fri, Jun 19, 2020 at 8:43 AM Justin Moore wrote: > About four weeks ago I upgraded from F30 to F32. I've been using this same > hardware for a few years now, and it worked fine* under multiple versions > of Fedora. > > However since I upgraded to F32 I've been finding my system randomly > rebo

Random crashes/reboots under F32

2020-06-19 Thread Justin Moore
About four weeks ago I upgraded from F30 to F32. I've been using this same hardware for a few years now, and it worked fine* under multiple versions of Fedora. However since I upgraded to F32 I've been finding my system randomly rebooting about every 8-14 days. I'll just come back to it and it'll

Re: DNF Error with package Conflicts.

2020-06-19 Thread Ed Greshko
On 2020-06-19 17:03, Ed Greshko wrote: > On 2020-06-19 16:43, Samuel Sieb wrote: >> On 6/19/20 12:01 AM, Stephen Morris wrote: >>> Hi, >>> When I did a dnf upgrade today I got the following messages at the >>> beginning of dnf output. >>> >>> Error: >>>   Problem: cannot install the best upda

Re: Microphone trouble [SOLVED] [CLOSED]

2020-06-19 Thread Patrick O'Callaghan
On Fri, 2020-06-19 at 19:23 +0930, Tim via users wrote: > On Thu, 2020-06-18 at 22:19 -0600, Joe Zeff wrote: > > It sounded just fine. However, when I hooked up to Zoom to attend > > my weekly meeting, everybody complained about the static to the point > > that I was forced to leave because it's i

Re: Microphone trouble [SOLVED] [CLOSED]

2020-06-19 Thread Tim via users
On Thu, 2020-06-18 at 22:19 -0600, Joe Zeff wrote: > It sounded just fine. However, when I hooked up to Zoom to attend > my weekly meeting, everybody complained about the static to the point > that I was forced to leave because it's impossible for me to > participate. At this point, I'm sure that

Re: DNF Error with package Conflicts.

2020-06-19 Thread Ed Greshko
On 2020-06-19 16:43, Samuel Sieb wrote: > On 6/19/20 12:01 AM, Stephen Morris wrote: >> Hi, >> When I did a dnf upgrade today I got the following messages at the >> beginning of dnf output. >> >> Error: >>   Problem: cannot install the best update candidate for package >> qt5-qtbase-5.13.2-5

Re: DNF Error with package Conflicts.

2020-06-19 Thread Samuel Sieb
On 6/19/20 12:01 AM, Stephen Morris wrote: Hi,     When I did a dnf upgrade today I got the following messages at the beginning of dnf output. Error:  Problem: cannot install the best update candidate for package qt5-qtbase-5.13.2-5.fc32.x86_64   - problem with installed package qt5-qtbas

Re: frama-c can't start up on simple example

2020-06-19 Thread Richard W.M. Jones
On Thu, Jun 18, 2020 at 03:15:13PM -0600, Jerry James wrote: > On Thu, Jun 18, 2020 at 9:01 AM Jerry James wrote: > > I see this in the log: > > > > [wp] User Error: Prover 'alt-ergo' not found in why3.conf > > > > which is a lie. Prover alt-ergo is most definitely listed in > > why3.conf. I'll

Re: How do I change the grub kernel boot parameters in F32 ?

2020-06-19 Thread Stephen Morris
On 17/6/20 1:52 am, Tom H wrote: On Tue, Jun 16, 2020 Stephen Morris wrote: On 16/6/20 9:06 am, Ed Greshko wrote: On 2020-06-16 07:01, Tom H wrote: The kernel options are in the BLS entries, so it doesn't matter what you have in grubenv. From the grub2 changelog on may 13th: Store cmdline

DNF Error with package Conflicts.

2020-06-19 Thread Stephen Morris
Hi,     When I did a dnf upgrade today I got the following messages at the beginning of dnf output. Error:  Problem: cannot install the best update candidate for package qt5-qtbase-5.13.2-5.fc32.x86_64   - problem with installed package qt5-qtbase-5.13.2-5.fc32.x86_64   - cannot install the b