Old:Gnome Tips and Tricks

Introduzione

Questa pagina cerca di raccogliere scorciatoie, ottimizzazioni e link a pagine contenenti trucchi e suggerimenti per Gnome.

Scorciatoie

Alcune shortcut utili se si utilizza Gnome come Desktop Environment.

Finestre

  • Cliccando con il tasto centrale (quello della rotella) sulla barra della finestra, essa viene portata in ultimo piano.
  • ctrl + alt + -> o ctrl + alt + <-, ci si sposta nel desktop a destra e sinistra rispettivamente.

Tasti Speciali

Eseguire comandi con gli shortcuts di Gnome

Sfondi temporizzati (gnome 3)

Creazione

È innanzitutto necessario creare un apposito file xml attraverso un qualsiasi editor di testo, per esempio:

$ gedit sfondo.xml

Invece che descrivere astrattamente le direttive da inserire si propone un esempio per la rotazione di due sfondi, successivamente commentato. Inserire all'interno del file creato il seguente testo:

<background>
   <starttime>
      <year>2012</year>
      <month>01</month>
      <day>01</day>
      <hour>00</hour>
      <minute>00</minute>
      <second>00</second>
   </starttime>
   <static>
      <duration>1800.0</duration>
      <file>/home/utente/Immagini/Sfondi/immagine0.jpg</file>
   </static>
   <transition>
      <duration>5.0</duration>
      <from>/home/utente/Immagini/Sfondi/immagine0.jpg</from>
      <to>/home/utente/Immagini/Sfondi/immagine1.jpg</to>
   </transition>
   <static>
      <duration>1800.0</duration>
      <file>/home/utente/Immagini/Sfondi/immagine1.jpg</file>
   </static>
   <transition>
      <duration>5.0</duration>
      <from>/home/utente/Immagini/Sfondi/immagine1.jpg</from>
      <to>/home/utente/Immagini/Sfondi/immagine0.jpg</to>
   </transition>
</background>