giovedì 24 gennaio 2013

Downgrade dei pacchetti, Ubuntu

Può capitare che, dopo un aggiornamento, il pacchetto installato dia problemi di funzionamento che prima dell'aggiornamento non aveva mai dato, mostrando quell'odiato messaggio “Ubuntu 12.10 ha riscontrato un errore interno”.

giovedì 17 gennaio 2013

Driver Aggiuntivi, Ubuntu 12.10/13.04

All'interno di Ubuntu viene utilizzato il termine Driver Aggiuntivi per indicare quei driver con licenza non OpenSource che vengono rilasciati dalle aziende produttrici dell'hardware (ad esempio Nvidia e AMD-ATI) e che, solitamente, sfruttano meglio le caratteristiche delle schede grafiche (o di qualsiasi altra scheda per cui vengono forniti: schede audio, di rete, ...) rispetto a quelli OpenSource.

lunedì 14 gennaio 2013

Rhythmbox non si avvia? RhythmDB:ERROR 1517

Con l'aggiornamento ad Ubuntu 12.10 mi è capitato che si presentasse un errore all'avvio di Rhythmbox che ne causava il crash e la conseguente chiusura. Lanciandolo da terminale ottenevo il seguente output:

RhythmDB:ERROR:rhythmdb-tree.c:1517:remove_child: assertion failed: (g_hash_table_remove (parent->children, data)) Annullato (core dump creato)

Dopo svariati tentativi (inclusi rimozione e nuova installazione da un altro repository) ho capito che il problema derivava dai file di configurazione pre-aggiornamento che non piacevano molto alla nuova versione.

Ho risolto il problema cancellando la directory ~/.local/share/rhythmbox dando da terminale

$rm -rv ~/.local/share/rhythmbox/

Attenzione: cancellando tutta la directory ~/.local/share/rhythmbox verranno cancellate anche tutte le impostazioni e i file importati in Rhythmbox.

Ubuntu updates: Somma hash non corrispondente

Il gestore dei pacchetti di Ubuntu (apt) risulta molto comodo per cercare, installare e aggiornare pacchetti senza dover ricorrere alla ricerca delle nuove versioni e senza dover ricorrere all'installazione manuale.
Le informazioni sui pacchetti disponibili, con la loro versione, sono contenute in appositi file di sistema che, al momento della verifica della presenza di aggiornamenti (ad esempio mediante update-manager o apt-get update), vengono confrontati con file simili presenti sul server (noto con il nome di repository).

sabato 12 gennaio 2013

Aggiornare Ubuntu in modo sicuro, senza perdere applicazioni e preferenze

Prima o poi a tutti capiterà di dover aggiornare la propria versione di Ubuntu ad una più aggiornata, che sia per piacere o per necessità.
Ubuntu offre un servizio per effettuare l'upgrade alle nuove versioni tramite update-manager che, semplicemente aggiornando i pacchetti già installati, evita che vengano perse configurazioni. Tuttavia - e chi ha già provato dovrebbe essersene accorto - con questo metodo il sistema diventa più instabile e sorgono più crash dei programmi che si arrestano in modo anomalo.

venerdì 11 gennaio 2013

Sincronizzare Google Drive con Nautilus utilizzando Insync

N.B:Insync non è un pacchetto OpenSource, nè tantomento gratuito, pertanto se volessi utilizzarlo dovrai pagare 9.99$.

Consiglio: Se sei interessato ad una valida alternativa gratuita per sincronizzare Google Drive con Ubuntu consulta la nostra guida

Google Drive è il servizio offerto da Google che permette la condivisione di file con utenti specifici, con il pubblico, o semplicemente uno storage online privato.

mercoledì 2 gennaio 2013

Registrare il desktop con Ubuntu

Questa guida richiede una conoscenza di base dell'uso del terminale. Se non sai come si utilizza consulta la guida Utilizzare il terminale.

Spesso capita che si presenti la necessità di mostrare delle operazioni da effettuare per utilizzare un programma o cambiare delle configurazioni del vostro sistema operativo Ubuntu con un amico. La soluzione potrebbe essere quella di fare uno screenshot per ogni passaggio e spiegargli a parole cosa fare, ma sicuramente, oltre ad essere abbastanza scomodo e fraintendibile, richiede molto tempo!

Per fortuna esiste una soluzione a questo spreco di tempo: registrare il vostro desktop mentre svolgete l'attività che volete mostrare al vostro amico. I modi in cui si può registrare il desktop sono molti ed equivalenti l'uno con l'altro.
In questa guida vi esporrò quello che secondo me permette di svolgere la registrazione del desktop in modo molto semplice e che consente molte personalizzazioni, utilizzando RecordMyDesktop e con l'ausilio di WinFF per la conversione del file creato in formato AVI.