Michael Murphy

`sudo apt build-dep gnome-shell` will install all development dependencies of gnome-shell.

GNOME 42 on 21.10 wouldn't be a supported configuration. Try 22.04

This'll be fixed once the 42.1 update is released

This repo is only for Pop!_OS, so be sure to report that to GNOME and/or Ubuntu.

The only patch to GNOME Shell that we've applied today is the [dark theme switching](https://github.com/pop-os/gnome-shell/blob/master_eoan/debian/patches/pop-dark-theme.patch).

Does it continue to rise above 1G, or does it remain in that region?

I'm not able to replicate this. Is this still an issue?

If you'd like to improve the project, you're free to submit a pull request. I've actually decided to go with a different approach for the disk management library that I'm...

@michalfita Make sure you have installed the cosmic-icon-theme as well.

We could call ffmpeg commands in the background to generate video thumbnails. ``` ffmpeg -ss 90 -i input.mp4 -vf "select=gt(scene\,0.4),scale=320:-1" -frames:v 1 -vsync vfr output.jpg ``` Which skips the first...