This is a gnome shell extension to hide minimized windows in overview
You can install this extension from https://extensions.gnome.org
Or you can do it by hand, downloading this repository to your local shell extensions folder:
cd ~/.local/share/gnome-shell/extensions
git clone https://github.com/danigm/hide-minimized.git
mv hide-minimized hide-minimized@danigm.net
Note: the last command is needed to match the uuid
field in the metadata.json
file.
To complete the installation reload gnome-shell by pressing ALT+F2, type "r", hit enter. You can now enable the exention.