Thanks to visit codestin.com
Credit goes to programming.dev

  • atzanteol@sh.itjust.works
    Codestin Search App
    Codestin Search App
    English
    Codestin Search App
    10
    ·
    11 days ago

    Different distros vary a bit here, and it will differ if you’re on a system using efi.

    Sometimes /boot isn’t mounted by default (it’s not needed unless you’re updating a kernel). You may be seeing a symlink or placeholder there.

    If you’re using efi there will probably be /boot/EFI or something where your kernel is stored.

    • flying_sheep@lemmy.ml
      Codestin Search App
      Codestin Search App
      Codestin Search App
      3
      ·
      9 days ago

      The reason there’s no version in the filename is simply that Arch just doesn’t keep old kernels around.

      The vmlinuz-linux just gets replaced whenever you update the linux package and the old one is deleted immediately.

        • flying_sheep@lemmy.ml
          Codestin Search App
          Codestin Search App
          Codestin Search App
          2
          ·
          Codestin Search App
          9 days ago

          I agree that it’s be useful, and I think you can just install e.g. the LTS kernel next to the regular one.

          But even without , the arch way isn’t insane either: when something kernel-related breaks, boot with a live system on USB and fix it.

          Case in point: I dimensioned the EFI partition too small, so at some point, me using the zen kernel (which comes with a backup kernel image) messed things up and I couldn’t boot a half-written kernel.

          then I

          1. created and booted a live USB stick,
          2. Mounted my / and /boot partitions manually into /mnt/root/ and /mnt/root/boot
          3. Bind-mounted the live system’s /dev and /proc into /mnt/root/{dev,proc}
          4. chrooted into /mnt/root (resulting in an environment using /dev and /proc from the live system and the rest from my system),
          5. Used regular package manager commands to uninstall the zen kernel and install the regular one, and finally
          6. rebooted into the now working system.

          It’s not crazy, it doesn’t take long, you just need to know how the system works. Upside is that nothing ever breaks permanently, everything is fixable (except hardware failure)

          • atzanteol@sh.itjust.works
            Codestin Search App
            Codestin Search App
            English
            Codestin Search App
            1
            ·
            9 days ago

            But even without , the arch way isn’t insane either: when something kernel-related breaks, boot with a live system on USB and fix it.

            That is not a replacement for “arrow-key down during boot to select an older kernel”.

            I have a server with a RAID card and the kernel at some point introduced a bug with the driver that prevented that server from booting. So I select the older kernel at boot, get the system up and running, mark that kernel as the default until the bug is fixed.

            It’s not crazy, it doesn’t take long, you just need to know how the system works.

            I know how the system works very well thankyouverymuch. But that’s an insane option when having multiple older kernels is so easy to do and common.