Looking for Gnome extension

I'm looking for a gnome extension that remove this:
Screenshot from 2023-09-20 13-41-05

I can't recall the name of that extension that do that.

I was going to suggest "Just Perfection", but it seems that the extensions page is down at the moment so I can't try :man_shrugging:

1 Like

Why o' why is the site down when you need it.... typical :confused:

1 Like

I guess someone tripped on the power plug or something:

2 Likes

Geez, even the ubuntu sites are down. It most be coordinated attack.

See if this works for you:
https://web.archive.org/web/20230912221011/https://extensions.gnome.org/#sort=relevance

Yes, it works. Now I'll see if it also has the extensions.

EDIT: I can get to the main page, but that's just it.

Your browser might be timing out.... it's a slow connection because The Wayback Machine handles so much traffic, and sometimes modern browsers time out because of that.

I, for instance, have increased the timeout of my browser, so I can get from the landing page to the page for the first extension (User Themes):

https://web.archive.org/web/20230902201557mp_/https://extensions.gnome.org/extension/19/user-themes/

Which leads to:

But that actually leads to:
https://web.archive.org/web/20230902201557/https://extensions.gnome.org/away/https%253A%252F%252Fgitlab.gnome.org%252FGNOME%252Fgnome-shell-extensions

From there, I can go to the file repository:

From there, I can click on the Download button to get the file.

2 Likes

GitLab is back, here's the link for the extension that I mentioned, in case it helps:

@Storm

2 Likes

This topic was automatically closed 90 days after the last reply. New replies are no longer allowed.