Cita:
Ahora, ¿dónde miro cual es el código que ejecuta Ubuntu cuando cambio el theme para hacer el script en Bash, SH, CSH? (que esto último no sé lo que es, pero ya estoy mirando la Wikipedia).
No es tan sencillo porque es el Gnome-theme-manager quien se encarga de instalar todo lo de los temas y hace varias cosas aparte de cambiar un par de ficheros. Se puede controlar todo mediante scripting, pero yo creo que deberías de preguntar por algún foro de Gnome, yo de todas formas, siempre desactivo todos los efecto de escritorio porque no se llevan bien con ninguna aplicación que use OpenGL.