this post was submitted on 11 Jun 2023
291 points (98.3% liked)

Linux

48726 readers
943 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
 

What Linux distribution or distributions do you personally use?

I myself am a daily Void user. I used to use Devuan, but wanted to try rolling release and ended up loving Void!

you are viewing a single comment's thread
view the rest of the comments
[–] Sailor_jets@sh.itjust.works 2 points 2 years ago (2 children)

Right now I am using Gentoo on my gaming rig. On my laptop I use Arch. Debian on everything else.

[–] falchy@sopuli.xyz 3 points 2 years ago (1 children)

I've been curious about switching my gaming rig to a Linux distro. Why'd you choose Gentoo? I know PopOS! Is popular for first time Linux gamers, but looking into it I don't see any appeal over just setting it up myself and maintaining that setup.

[–] Sailor_jets@sh.itjust.works 1 points 2 years ago

I've used Linux for around 13 years. I like the level of control that it gives me and portage is a bad ass package manager if taken the time to learn it. Everyone talks about optimization which is secondary to me, but the ability to even optimize at compile time with LTO and other fun stuff is just an experimental plus to me regardless if it only speeds up certain applications by like 0.1% (but things are generally a bit more snappy in certain situations). But mainly I know how I want my system to be set up and Gentoo gives me the absolute freedom to do that down to a binary level.

But generally I don't recommend anyone use it over anything else, especially to new Linux users. For them I would recommend Pop_OS!, Nobara Linux, or generally any other mainstream distro.