Google Reader cambia faccia???
Salve gente,
sono un entusiasta utilizzatore di Google Reader, per cui ogni giorno mi collego lì e spulcio i miei feed preferiti.
Qualche giorno fa mi è successa una cosa strana: tutto d’un tratto l’interfaccia grafica di google reader era diversa…
…
Ho letto i feeds, ho chiuso google reader, l’ho riaperto e , senza soluzione di continuità, è tornato normale…
Bah… 
Saluti!
Popularity: 47% [?]
Porca miseria i Rilasci!!!
Oggi gran Malafigura a lavoro dopo la prova di merging dei repository delle librerie …
E’ un mondo difficile ….
Popularity: 27% [?]
Find & replace di una stringa in più file con Bash!
Oggi scrivo di una scoperta che mi hanno fatto fare al lavoro… spettacolo!!!
Dovevo sostituire una stringa in una serie di files… senza poter usare programmini che fanno ciò…
Allora il mitico Salvo mi ha illuminato: sed!
ecco la sintassi per dar ciò che vi ho detto:
Leggi il resto dell’articolo »
Popularity: 47% [?]
Widget? ecco cosa sono!
Vuoi rimanere costantemente aggiornato sull’andamento della Borsa? O magari sulle previsioni del tempo? Oppure vuoi ascoltare la musica del pc facendo finta di avere un ipod sullo schermo? Niente più ricerche nel mare magnum della rete, con i widget è possibile avere sempre e a portata di mano quello che più ci serve, anche direttamente sul desktop. I widget non sono altro che utili e divertenti applicazioni che assistono l’utente nell’esecuzione di operazioni abituali; dopo esser stati installati sul pc, i widget, scelti sulla base dei propri interessi, facilitano le nostre operazioni e forniscono in maniera immediata i servizi richiesti. Si presentano sullo schermo spesso come dei disegnini animati e posso essere perennemente presenti sul proprio desktop o apparire dopo aver pigiato un tasto specifico della tastiera. Leggi il resto dell’articolo »
Popularity: 32% [?]
