this post was submitted on 12 Dec 2024
73 points (95.1% liked)

Linux

48634 readers
1671 users here now

From Wikipedia, the free encyclopedia

Linux is a family of open source Unix-like operating systems based on the Linux kernel, an operating system kernel first released on September 17, 1991 by Linus Torvalds. Linux is typically packaged in a Linux distribution (or distro for short).

Distributions include the Linux kernel and supporting system software and libraries, many of which are provided by the GNU Project. Many Linux distributions use the word "Linux" in their name, but the Free Software Foundation uses the name GNU/Linux to emphasize the importance of GNU software, causing some controversy.

Rules

Related Communities

Community icon by Alpár-Etele Méder, licensed under CC BY 3.0

founded 5 years ago
MODERATORS
 

BootSelector is a tiny GUI utility for setting any grub menu entry as default.

It also allows you to reboot into any OS/kernel in your grub menu.

The initial version has been tested on the latest Ubuntu 24.10 and should work on other Debian-based distributions as well.

An RPM for fedora will be released soon after more testing is done.

you are viewing a single comment's thread
view the rest of the comments
[–] [email protected] 1 points 6 days ago

It uses grub-reboot for that function.