Cambiare tema al puntatore del mouse in Gnome3

Se si vuole cambiare il tema del puntatore del mouse su Gnome3, bastano pochi semplici passi:
 
1) scaricare da gnome-look il tema prescelto;

2) estrarre il file appena scaricato sul proprio Desktop;

3) copiare il tutto nella seguente directory:
$ sudo cp -R ~/Desktop/DMZ-Red /usr/share/icons/

4) selezionare il tema utilizzando gnome-tweak-tool. Se non istallato:
$ sudo apt-get install gnome-tweak-tool

5) infine, sostituire nel file /usr/share/icons/default/index.theme il tema presente con il nome del vostro nuovo tema, quindi:
$ gksu emacs /usr/share/icons/default/index.theme
e aggiungere e modificare le seguenti righe:
[Icon Theme]
#Inherits=default_theme
Inherits=new_theme

Ovviamente, occorre riavviare nautilus:
Alt+F2 --> r --> Invio