"xres" Cambiamento risoluzione video - copia file di configurazione; riavvia GDM in Debian

- A cura del Prof. Stefano Salvi -


#!/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