Capita spesso di aver bisogno di installare nuovi font sul proprio sistema, ma può anche capitare di non sapere come fare. In questo breve articolo tratteremo proprio questo argomento.
Esistono due modi di installare nuovi font: il primo consiste nel renderli disponibili solo ad un utente del sistema e il secondo invece serve per renderli disponibili […]
Come tutti sanno Gnu/Linux è un sistema multi utente, cioè dà la possibilità a più persone di usare la macchina in contemporanea. Questa opportunità è molto sfruttata su macchine remote, mentre su macchine locali dedicate al desktop o ad un uso ufficio questa caratterisca passa in secondo piano.
Essendo il SO sfruttabile da più utenti nello […]
Con l’avvento della “televisione” via internet si sente sempre di più il bisogno di registrare i programmi che vengono tramessi in streaming, ma come fare?
La risposta è molto semplice basta utilizzare mplayer con il parametro dumpstream:
mplayer “mms://link” -dumpstream -dumpfile output.avi
Se invece che un flusso video si vuole registrare un flusso audio basta usare il comando:
mplayer […]
Spesso capita che non sia possibile smontare una periferica precedentemente montata perchè occupata.
Per poterla smontare è necessario liberare le risorse che la tengono occupata. Per verificare quali risorse stiano occupando il device è sufficiente dare il seguente comando:
lsof /dev/nome_periferica
Questo restituisce i processi che stanno occupando la perifica, per liberarla basta chillare i processi:
kill -9 PID […]
Il dovere spostare l’ installazione di linux da un disco fisso all’ altro è una procedura che tocca qualsiasi utente prima o poi. L’ importante è scoprire che la cosa è più complicata da spiegare che fare, se seguirete questa guida. Lo stesso sistema più essere usato per fare un backup del sistema, cosa molto […]
