THE EXTENSION WILL NOT BE UPDATED ANYMORE

I would like to thank everyone who requested compatibility updates, support, and new features. I want to be honest with you all: I haven’t used GNOME for quite some time now. I'm currently working at a company, involved in other projects, and focusing on learning new things. At one point, I said I would have updated the extension soon, but unfortunately, that won’t happen. I’m sorry for saying that — I was excited at the time, but the reality is that I no longer use this environment, and I believe it’s time to put this project to rest. Even though maintaining it wouldn’t be particularly difficult, it’s the feeling of obligation that takes away the motivation for me. It’s something I didn’t think about when I first started this project, forgive my error. I truly appreciated seeing how this extension has grown over time. Thank you all! A special thank you goes to gookie-dev, who consistently submitted pull requests to keep the extension up to date.

---

Installation

# Open the terminal and clone the repository

git clone https://github.com/RosGtHub/Hide-dock-in-overview

# move it to ~/.local/share/gnome-shell/extensions

sudo mv /home/$USER/Hide-dock-in-overview ~/.local/share/gnome-shell/extentions

Now reboot and you should be able to see and enable the extention. If you have any problems, feel free to open an issue.