RE: Ubuntu 18.04 gnome shell memory leak

[donneker]

Workaround found on https://www.omgubuntu.co.uk/2018/03/gnome-shell-has-a-memory-leak-and-it-might-not-be-fixed-for-ubuntu-18-04-lts

Press Alt + F2
Type the letter ‘r’
Hit Enter/Return