"xres" Cambiamento risoluzione video - copia file di configurazione; riavvia GDM in Debian
#!/bin/bash
# xres
# Seleziona risoluzione video, sostituendo il file di configurazione
# di XFree (flie /etc/X11/XF86Config-4) scegiendolo
# tra i file /etc/X11/XF86Config-4.<risoluzione>, dopo di che'
# riavvia GDM (tramite lo script Debian /etc/init.d/gdm).
# Stefano Salvi <stefano@salvi.mn.it>
# this file is available under the GNU general public license
# Controlla che il parametro sia stato indicato
if [ -z $1 ]
then
echo Devi indicare una risoluzione video
exit
fi
# Controlla se l'utente che lancia lo script e' ROOT (cha ha l'UID = 0)
if [ $UID -ne 0 ]
then
echo "Devi essere l'utente ROOT per scrivere o cancellare CD"
echo "Puoi diventare l'utente ROOT o facendo login su di una"
echo "console come \"root\" oppure digitando il comando \"su -\""
echo "che chiede la password di root e ti trasforma nell'utente ROOT"
exit 3
fi
# Imposta alcune variabili con i percorsi ed i nomi file
xpath="/etc/X11"
newconf="$xpath/XF86Config-4.$1"
conf="$xpath/XF86Config-4"
# Verifica che il file con la risoluzione esista
if [ ! -r "$newconf" ]
then
echo "La risoluzione indicata non esiste"
exit
fi
# Copia la risoluzione richiesta nel file della configurazione di default
/bin/cp "$newconf" $conf
## Fine lavoro: riavvia GDM
/etc/init.d/gdm restart