Re: Script bash compilazione kernel

2015-06-14 Per discussione Paride Desimone
Il 14/06/2015 22:42 Gabriele Stilli ha scritto: Il 15/06/2015 00:24, Paride Desimone ha scritto: L'apice prima del grep, lo ottengo con AltGr "'", mentre il finale quello di chiusura, solo con "'" Cosa sto sbagliando? Esattamente questo: l'apice iniziale e finale devono coincidere, in questo

Re: Script bash compilazione kernel

2015-06-14 Per discussione Gabriele Stilli
Il 15/06/2015 00:24, Paride Desimone ha scritto: L'apice prima del grep, lo ottengo con AltGr "'", mentre il finale quello di chiusura, solo con "'" Cosa sto sbagliando? Esattamente questo: l'apice iniziale e finale devono coincidere, in questo caso devono essere entrambi uguali a quello che o

Script bash compilazione kernel

2015-06-14 Per discussione Paride Desimone
Ciao, dopo molto tempo stavo rimettendo mano alla ricompilazione del kernel. Ora, ho visto che make-kpkg, ha la possibilità di avviare la compilazione concorrente tramite la variabile di ambiente CONCURRENCY_LEVEL, che interattivamente lavora con il -j. Dando "grep -c '^processor' /proc/cpuinfo"

Re: Evolution e Gmail

2015-06-14 Per discussione Vincenzo Villa
Il giorno mer, 27/05/2015 alle 14.02 +0200, Vincenzo Villa ha scritto: Un saluto a tutta la lista > Da una vita utilizzo in evolution i contatti di Gmail. Da un paio di > giorni non funziona più e ricevo il seguente messaggio: Oggi piove... e ho ripreso la questione. Mi auto-rispondo: ho risolto

Re: Controllare traffico e accessi a internet

2015-06-14 Per discussione Giuliano Grandin
Il giorno Sun, 14 Jun 2015 15:49:54 +0200 Dario ha scritto: Intanto ringrazio tutti per gli interventi che avete dedicato a questo tema. ... > Le soluzioni possibili sono sicuramente un firewall associato ad un > proxy e liste per filtrare i siti (come già e' stato suggerito). ok, pare proprio

Re: Controllare traffico e accessi a internet

2015-06-14 Per discussione Dario
Saluto esteso alla lista. Aggiungo un +1 a quanto già detto dagli altri. Le soluzioni possibili sono sicuramente un firewall associato ad un proxy e liste per filtrare i siti (come già e' stato suggerito). In aggiunta ci sono anche software parentali che adottano diversi soluzioni, non per ulti