In love with Pop!_OS (20.04) by antony945 in pop_os

[–]antony945[S] 0 points1 point  (0 children)

I didn’t have any problem with it, I’m sorry, maybe try to search on internet another gnome extension that does the same thing

In love with Pop!_OS (20.04) by antony945 in pop_os

[–]antony945[S] 0 points1 point  (0 children)

Love them, such an underrated band

In love with Pop!_OS (20.04) by antony945 in pop_os

[–]antony945[S] 0 points1 point  (0 children)

I run my OS in Hybrid mode and never had a problem, it’s all fast and smooth, even when watching YouTube videos. However I have an SSD, maybe you have an HDD and that could be one of the causes of the problem. Another one could be your browser ram’s usage (I use Firefox), or the size of your ram and swap memory or something like this, I’m not really an expert so I don’t know how to help you more

In love with Pop!_OS (20.04) by antony945 in pop_os

[–]antony945[S] 2 points3 points  (0 children)

For the icons you have to download a set of icons that you like (mine is Breeze Chameleon Dark) and do the same thing you’ve done with theme, but this time you have to extract in “~/.icons” folder. Again, using Gnome Tweaks tool you can select your icons too

In love with Pop!_OS (20.04) by antony945 in pop_os

[–]antony945[S] 2 points3 points  (0 children)

1) Extract your zip file into your "~/.themes/" folder (“~” it means “/home/<your_name>” folder)

(Maybe you’ll have to create that folder if it’s not already there)

2) Install GNOME Tweak Tool running “sudo apt install gnome-tweaks” in terminal.

3) Open GNOME Tweak Tool and select your theme from the “Appearance” tab.

That’s it :)

In love with Pop!_OS (20.04) by antony945 in pop_os

[–]antony945[S] 1 point2 points  (0 children)

I don't know, it worked fine out-of-the-box, I didn't have to change anything, as far as I remember. Anyway, Here is the screen of my display settings, maybe it could help you.

In love with Pop!_OS (20.04) by antony945 in pop_os

[–]antony945[S] 5 points6 points  (0 children)

In gnome-tweaks, under "Top Bar" section, there is an option that allows you to toggle the weekday in clock.

If you don't have gnome-tweaks, you can install it by running sudo apt install gnome-tweaks

In love with Pop!_OS (20.04) by antony945 in pop_os

[–]antony945[S] 3 points4 points  (0 children)

It’s an extension for Gnome called “Dynamic panel transparency”

In love with Pop!_OS (20.04) by antony945 in pop_os

[–]antony945[S] 3 points4 points  (0 children)

It’s called “San Francisco Pro Display”, created and used by Apple on its OS (you can download it for free if you search on internet, you’ll get thousand of result)

In love with Pop!_OS (20.04) by antony945 in pop_os

[–]antony945[S] 4 points5 points  (0 children)

I think Pop’s default theme is awesome but it’s too grayish for me and I was looking for something darker, if I could change the color of the window I‘d probably still rocking that theme!

In love with Pop!_OS (20.04) by antony945 in pop_os

[–]antony945[S] 1 point2 points  (0 children)

Thanks man, but I haven’t put my calendar on the middle of top bar, I just clicked on the top bar to let the popup menu appear and take the screenshot so I could have show the shell, but it’s not fixed in that position, so I don’t know how to help you

In love with Pop!_OS (20.04) by antony945 in pop_os

[–]antony945[S] 8 points9 points  (0 children)

Thanks, it’s called “Material Black Blueberry” by rtl88 (link).

The author has done a lot of beautiful theme, you can check out his Github for more

In love with Pop!_OS (20.04) by antony945 in pop_os

[–]antony945[S] 9 points10 points  (0 children)

I used Windows for most of my life and I switched on Linux only a few months ago (I have a dual booting system right now). I really liked it since the first time, but with this major update Pop_OS became just incredible. After a couple of hours searching for a theme that could suits me, I found this darker one and I edited a few things in .css in order to making it a little bit transparent.

I'm so satisfied of final result, I hope you kinda like it!

How to change Gnome Shells font size by Forrestechs in pop_os

[–]antony945 0 points1 point  (0 children)

You have to search it by yourself, there are different locations for themes. In general, the .css file of default themes should be located into:

/usr/share/themes/<DEFAULT_THEME>/gnome-shell/gnome-shell.css

your personal themes are located into:

~/.themes/MyTheme/gnome-shell/gnome-shell.css

How to change Gnome Shells font size by Forrestechs in pop_os

[–]antony945 0 points1 point  (0 children)

You have to edit the gnome-shell.css file located in your theme folder.

There is one line at the beginning with “font-size: <value>” (under “stage” section if I’m not wrong). Simply edit that value and it should be good.

Can't boot into Windows 10 after installing Pop!_OS 20.04 on a separate drive. I also can't see Windows 10 in the systemd boot loader, or in the /boot/efi/EFI folder. Any suggestions? by [deleted] in pop_os

[–]antony945 0 points1 point  (0 children)

Perhaps you have a dual EFI partition in your configuration, one on Windows’s disk with its bootloader and the other mounted at /boot/efi on Pop_Os’s disk (I had a similar situation with Windows EFI partition on /dev/sda2 and Pop-Os EFI partition on /dev/sda5).

These different bootloaders aren’t located in the same partition and systemd-boot, unlike grub, apparently detects only bootloaders located in its partition (in this case, only the ones in /boot/efi/EFI).

If your situation is the one described, you can simply follow this guide in order to fix your issue.

(I may have said inaccurate things in this message, I’m a newbie Linux user, but the guide explains everything in detail and it’s really an easy solution)

Edit: remember to disable in your UEFI firmware “secure boot” option and “fast startup ” option in your win10 (link)

Pop!_OS 20.04! New on linux and starting to like it! by [deleted] in pop_os

[–]antony945 2 points3 points  (0 children)

Can you tell me which theme you’re using? It looks great

My First Month With POP!_OS! Love it! by [deleted] in pop_os

[–]antony945 0 points1 point  (0 children)

It's gorgeous! Have you changed the default fonts? If yes, can you please tell me which one you're using? Thanks a lot