Going to upgrade my desktop Ubuntu from 16.04 to 18.04, fingers crossed nothing breaks
Alright, had to download it and install from source, the Gnome extensions website doesn't seem to be doing anything anymore.
Now just need to figure out the terrible new font Ubuntu comes with
@Gargron
Sometimes source can be a pain for me, but I do love most of what is Ubuntu. Have Ubuntu Mate, Peppermint OS and Kubuntu on one large desktop. Then Chromebooks.
Love Linux.