Nov

15

[Script] Un altro modo per lanciare il terminale di gnome

Pubblicato da giuliastro in Linux

Non sapevo che altro titolo dare alla notizia..

Terminale gnome

Ecco un brevissimo script bash che uso spessissimo:

PLAIN TEXT
CODE:
  1. #! /bin/bash
  2.  
  3. if [ `wmctrl -lx | grep -c "gnome-terminal"` != 0 ] 
  4. then
  5.    wmctrl -a `wmctrl -lx | awk '/gnome-terminal/ {print $5}'`
  6. else
  7.    gnome-terminal --geometry=110x46+180+100
  8. fi
  9. exit 0

Per farlo girare avrete sicuramente bisogno di awk e di wmctrl che penso siano nei repository di tutte le distribuzioni Linux.

Lo script funziona sulla mia Gutsy e serve per aprire una finestra terminale un po' piu' grande di quella standard. Se il terminale e' gia' aperto lo script si limita a portarlo in primo piano.
Utile? Boh.. per me si'. :)





Oppure leggi altri nostri articoli:


Scrivi un commento