hola Soy novato en linux, pero creo que se hace así: Instalas esta extensión de gnome shell https://extensions.gnome.org/extension/19/user-themes/ Luego descargas el tema y en configuración avanzada/tema lo importas Pero no me hagas mucho caso por si acaso jajaja.
En línea
(\/)4|\|r1 98 -Cuantos dálmatas había en la peli? -101 -por el culo te la hinco
We cannot detect a running copy of GNOME on this system, so some parts of the interface may be disabled. See our troubleshooting entry for more information.
En línea
"Es más divertido hacerse pirata que unirse a la marina." (Steve Jobs)