È da poco disponibile Ubuntu 10.04.1, la prima release di manutenzione del sistema operativo libero.
Ubuntu 10.04.1 contiene tutti gli aggiornamenti di sicurezza e le correzioni di bug rilasciati da maggio fino ad oggi.
Ubuntu 10.04.1 i386 torrent
Ubuntu 10.04.1 amd64 torrent
Altre versioni
...
Da qualche tempo sono disponibili per Linux sia Google Chrome che Chromium. Ma qual è la differenza?
Chromium è il browser libero sponsorizzato da Google, su cui si basa Google Chrome. Quest’ultimo è distribuito con una licenza freeware proprietaria.
Nel dettaglio, ecco le differenze:
Google Chrome Chromium Logo Colorato Blu Segnalazione crash Sì, se è abilitato No User metrics (statistiche
L’ultima versione stabile di Chromium per Ubuntu 10.04 (5.0.375.70~r48679-0ubuntu2~ucd2~lucid) porta con sé un’importante novità: i pulsanti sono stati spostati a sinistra.
Il browser diventa così coerente con il nuovo stile del sistema operativo sudafricano, che nell’ultima versione ha modificato la posizione dei pulsanti sulla barra del titolo.
Per installarlo bisogna aggiungere il ppa stabile:
sudo add-apt-repository ppa:chromium-daily/stable...
Leggi il seguito »
Il pacchetto poppler-utils di Ubuntu contiene alcuni programmi utili che permettono di operare con i PDF.
sudo apt-get install poppler-utils
Il comando pdftotext estrae il testo da un file pdf.
Si usa nel seguente modo:
pdftotext [opzioni] nomedocumento.pdf nometesto.txt
nel caso di pdf protetto da password:
pdftotext -upw 'password' nomedocumento.pdf nometesto.txt
Il comando pdftohtml funziona in modo del tutto analogo.
pdftohtml [opzioni] nomedocumento.pdf nome.html
per visualizzare correttamente il documento nel browser dobbiamo però aggiungere manualmente una riga prima di </head> :
<meta...
Leggi il seguito »
...
...
...
...
...
...
