dieci dieci dieci

Oggi è il 10/10/10, data importante soprattutto per l’uscita di Ubuntu 10.10. A ogni uscita di una nuova versione non posso fare a meno di pensare ai passi avanti fatti in sei anni da Ubuntu (io in verità ho iniziato con la 5.04, quindi per me sono solo cinque anni e mezzo) e più in generale da Linux (che invece uso ormai dai nove anni). In particolare è stato finalmente risolto il famigerato bug 47893 di Gnome, che risaliva ridicolmente al 2001 (dal mio punto di vista quindi c’è sempre stato!) e riguardava il prompt di sovrascrittura di un file esistente. Tornando a Ubuntu, come faccio sempre e come ho scritto nei miei tweet, ho proceduto all’aggiornamento delle mie tre macchine durante i giorni scorsi.
Incidentalmente, 101010 in binario è 42: così il rimpianto DNA si rivolterà nella tomba, lui che notoriamente non amava molto i numeri in base diversa da quella decimale.