Debian 7 : comment changer le pointeur de souris
C’est très simple… une fois que vous avez cherché pendant longtemps :
Première solution
- Lancez le programme
dconf-editor
, et si vous êtes comme moi et que vous ne savez pas trop comment chercher via l’interface graphique, cela fonctionne tout aussi bien en ligne de commande - Une fois le programme lancé, allez dans la branche
org » gnome » desktop » interface
- Modifiez la valeur
cursor-size
par une valeur plus grande. Par exemple, j’ai mis 56 et ça me donne enfin un pointeur d’une taille très grossière et pratique – choisissez l’adjectif qui vous convient le mieux, pour moi les deux sont applicables
Seconde solution
- Téléchargez le fichier « theme ». Décompressez le.
- Créez un dossier
~/.icons
- Vérifiez que dans le dossier de votre thème il y a bien un sous dossier
cursors
- Déplacez le thème au complet dans le dossier
~/.icons
- Installez gnome tweak tool comme ceci :
sudo apt-get install gnome-tweak-tool
- Ensuite appuyez sur la touche Windows et tapez
tw
pour rechercher le programme Tweak - Lancez le et dans la section « curseur », ouvrez la liste de sélection, et vous verrez vos nouveaux curseurs
C’est cet article qui m’a beaucoup aidé, même s’il manque des informations…
En espérant avoir fait gagner du temps… Bien sûr si vous avez des méthodes plus efficaces, rapides, ou « propres », n’hésitez pas à laisser un commentaire !