Divagazioni elettroniche

Ogni volta che accendo il computer avvio gli stessi programmi e sposto le finestre sempre nelle stesse posizioni e negli stessi desktop. E' arrivato il momento di far eseguire queste operazioni direttamente al computer, così ho scritto uno script in bash che serve proprio a questo scopo. Lo script utilizza il programma "wmctrl" per controllare le finestre; lo troverete quasi sicuramente nel gestore di pacchetti della vostra distribuzione. Per iniziare leggo le dimensioni del desktop perché serviranno per il posizionamento delle finestre relativo ai bordi del desktop: DESKTOP_GEOMETRY=$( wmctrl -d | grep '^0' | cut -d ' ' -f 5 ) DESKTOP_WIDTH=$( echo "$DESKTOP_GEOMETRY" | cut -d 'x' -f 1 ) DESKTOP_HEIGHT=$( echo "$DESKTOP_GEOMETRY" | cut -d 'x' -f 2 ) Poi ho definito la funzione get_win_property per poter recuperare comodamente una proprietà di una finestra. Le proprietà sono definite come costanti all'inizio