Je reviens à la charge avec une deuxième version en bash qui fonctionne mieux. Il faut utiliser cron pour choisir le temps voulu .
#!/bin/bash
dir='/home/nom_de_lutilisateur/.themes/'
file=`/bin/ls -1 "$dir" | sort --random-sort | head -1`
theme="$file" # le theme
echo "Le theme choisit est: $theme"
gconftool-2 --type string --set /desktop/gnome/interface/gtk_theme "$theme";
Pour ceux qui ne peuvent ou ne veulent utiliser cron voici le script a lancer au démarrage de la session .
#!/bin/bash
dir='/home/nom_de_lutilisateur/.themes/'
attente= #le temps d'attente que vous voulez en seconde
while:
sleep $attente
file=`/bin/ls -1 "$dir" | sort --random-sort | head -1`
theme="$file" # le theme
echo "Le theme choisit est: $theme"
gconftool-2 --type string --set /desktop/gnome/interface/gtk_theme "$path";
done
exit 0