I use a Gnome Desktop (Ubuntu 20.04).
I\'d like to learn how to customize the windows animations (i.e. animation on opening, on minimizing, on closing, and so on).