Re: the kernel that is and is not there

2024-10-01 Thread Tim via users
On Tue, 2024-10-01 at 16:50 +0200, Andras Simon wrote: > A few months ago I upgraded a laptop to Fedora 39 but haven't used it > since, except for updating it a few times. But now I noticed that it > can only boot into an fc38 kernel. (This may have been like this since > upgrading, it's just that

Re: the kernel that is and is not there

2024-10-01 Thread Andras Simon
Le mer. 2 oct. 2024 à 02:31, Tim via users a écrit : > I wonder if you ended up with two /boots at some stage? With the newer > kernels, etc, installed into the currently unseen one. > > Do you have an unmounted /boot partition? How do I check? mount | grep boot returns /dev/sda1 on /boot type

the kernel that is and is not there

2024-10-01 Thread Andras Simon
A few months ago I upgraded a laptop to Fedora 39 but haven't used it since, except for updating it a few times. But now I noticed that it can only boot into an fc38 kernel. (This may have been like this since upgrading, it's just that I didn't notice it.) In fact, there are no fc39 kernels in /boo

Re: fslint for fc40?

2024-10-01 Thread Patrick O'Callaghan
On Tue, 2024-10-01 at 09:07 +0200, François Patte wrote: > Bonjour, > > fslint is a software to remove duplicates and was available in previous > fedora release. > > I don't find it in fc40 repos. > > Is there a new analogue software? and what is its name? Name : fdupes Epoch:

fslint for fc40?

2024-10-01 Thread François Patte
Bonjour, fslint is a software to remove duplicates and was available in previous fedora release. I don't find it in fc40 repos. Is there a new analogue software? and what is its name? Thank you. -- François Patte UFR de mathématiques et informatique Laboratoire CNRS MAP5, UMR 8145 Universit

Re: the kernel that is and is not there

2024-10-01 Thread George N. White III
On Tue, Oct 1, 2024 at 12:42 PM Andras Simon wrote: > A few months ago I upgraded a laptop to Fedora 39 but haven't used it > since, except for updating it a few times. But now I noticed that it > can only boot into an fc38 kernel. (This may have been like this since > upgrading, it's just that I