Quello che in Windows per me era semplicemente Pixie della Nattyware non trovava il suo equivalente in ambiente Linux.
Oggi finalmente ho colmato un'altra mia lacuna...
Lo strumento per catturare un determinato colore sullo schermo si chiama Color Picker. Nel mio caso ho installato dall' Ubuntu Software Center:
Gcolor2
in grado di dare informazioni sia RGB e HSV ma soprattutto il valore esadecimale ottimo per il WEB e qui rognosi di css.