Memory leak of gnome shell under ubuntu 18.04 LTS After some time gnome shell uses 62% of the memory, I also had several times situations where the memory consumption did go to full system memory (16 GB)