this post was submitted on 13 Oct 2024

144 points (97.4% liked)

Linux

48179 readers

1003 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

Posts must be relevant to operating systems running the Linux kernel. GNU/Linux or otherwise.
No misinformation
No NSFW content
No hate speech, bigotry, etc

Related Communities

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

founded 5 years ago

MODERATORS

[email protected]

144

Open-bar has to be my favourite Gnome extension in a while (github.com)

submitted 1 month ago by [email protected] to c/[email protected]

17 comments fedilink hide all child comments

I don't run a lot of extensions on Gnome, but this one is a great way to add some customisation to the desktop.

all 19 comments

sorted by: hot top controversial new old

[+] [email protected] 25 points 1 month ago (1 children)

[deleted]

[–] [email protected] 14 points 1 month ago* (last edited 1 month ago) (3 children)

Why?

I like a good extension ecosystem. For the mothership, GNOME, you can only implement one idea, maybe include a couple ideas but the boss or the group has to decide upon one idea. With extensions, everyone, even a maintainer herself, can write one. You do not have to talk to someone else. You can just do it.

As long as the api is well written, extensions are better than having one big mothership trying to accomplish everything and pleasing everyone. Imagine having an IDE without extensions. You have only the opinionated version of the main dev. With extensions, everyone can put his flavor on top of it without asking.

Edit: don't ask me why extensions and especially extension manager isn't included in GNOME itself.

[–] Draghetta 18 points 1 month ago* (last edited 1 month ago)

IDK man, I’ve had rather poor experience with extensions. At least in gnome they pretty much filled in for some feature that should have been there but it wasn’t hip enough for GNOME (ie systray).

Ever since gnome 3 came out I found myself time and time again in the loop where something is missing, I build myself some smorgasbord of extensions to make the experience the way I want it, then a new gnome minor is released and some of those extensions are now abandoned / incompatible with others / suddenly buggy / behaving differently so I have to start over. It’s not very different in kde, extensions get abandoned and break in there too, but I never had to have more than two at a time.

When it comes to DEs I’ve learned over the years to stick to the core as much as possible because extensions are just not reliable, which is also the reason why I don’t use gnome anymore.

I don’t think the analogy with IDEs really holds: language extensions in major IDEs are usually maintained with some degree of professionalism, for example the Ansible extension for vscode is maintained by Red Hat. It’s a very different ecosystem from the one made of pet projects started by people who one time felt something was amiss in their DE, and pray the gods they still have that opinion and care enough.

Edit: just to be clear I’m not dunking on this extension or extensions in general, I’m just explaining why somebody would want to avoid relying on them too much

[–] [email protected] 8 points 1 month ago (1 children)

extensions are not supported in gnome. gnome devs do not care in the slightest if they break them whenever.

[–] [email protected] 6 points 1 month ago

Yeah that's my main issue with them too. I like the idea in theory, but in practice I find it tends to create this weird environment where something's always broken because everything updates on a different schedule and nobody cares if their update breaks anything else.

[–] [email protected] 7 points 1 month ago

Wow, that's the biggest innovation in GNOME since Paperwm

[–] TheGrandNagus 7 points 1 month ago (1 children)

I usually like to stay extension-free, but this looks pretty cool. I might try it out next time I'm on my PC. Something new.

[–] [email protected] 3 points 1 month ago (1 children)

Even Gnome-Tweaks?

[–] TheGrandNagus 3 points 1 month ago* (last edited 1 month ago)

I don't think Gnome Tweaks is an extension. Just an app that exposes some settings and DCONF options that haven't been added to the usual settings menu.

But nah, I don't use that either. Font settings really should be in the normal settings menu, though.

I pretty much change a couple of keybinds, remove a few .rpms and replace them with Flatpaks, and that's it.

[–] [email protected] 6 points 1 month ago (1 children)

This looks great, just installed it. Now to figure out how to make it looks totally transparent with just the different buttons and shrink it a bit like in the project's screenshots

[–] [email protected] 2 points 1 month ago

In Top Bar Properties, select Type of Bar (Islands) and Height + Margins as needed

[–] superterran 5 points 1 month ago

This extension looks fantastic. Good job guys

[–] [email protected] 5 points 1 month ago

Blur my shell is pretty much what I use. I also have a wallpaper extension and knotifiersupport

[–] BrianTheeBiscuiteer 4 points 1 month ago (1 children)

I'm new to Gnome, been using XFCE and Budgie for the longest time. Does this or any other extension allow offsetting the location of the date and time? A webcam attached to my monitor mostly blocks it.

[–] [email protected] 5 points 1 month ago

I can't check at the moment, but that sounds like something 'Simply Perfection' would be capable of.

It's essentially an addon specifically for tweaking the appearance of gnome stuff.

[–] [email protected] 4 points 1 month ago* (last edited 1 month ago)

Awesome. I'll see if it's a good replacement for Dash to Dock. Thanks.

Edit: Nope, but I can use them in tandem.

[–] [email protected] 2 points 1 month ago

This looks nice but what license does it use?

[–] [email protected] 1 points 1 month ago

Is is plnned to have global menu functionality as well?