this post was submitted on 29 Aug 2023
259 points (96.8% liked)

Linux

47997 readers
934 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
you are viewing a single comment's thread
view the rest of the comments
[–] [email protected] 13 points 1 year ago (10 children)

I’d love a setting to change the default file manager. I always install Nemo and configure it to be the default but last I checked, it’s not a simple GUI setting like changing the default browser or email client or whatever. And then you end up with two programs called “Files,” which obviously isn’t ideal.

Would it be that much of a problem to have what app is “Files” be a simple setting? Maybe it’s way more complicated than one assumes.

[–] [email protected] 8 points 1 year ago

My dream is that one day we will be able to assign default applications to the “generic” names in Gnome. Launch “Browser” and open Firefox (or chrome 🤢), Files and open Dolphin, Messages and open Elements etc etc.

Obviously I can do the same with custom .desktop files but it would be a nice flair to use the settings to just assign applications to those generic names.

load more comments (9 replies)