Oggi voglio segnalarvi il modo di convertire in formato base64 un certificato digitale x509 da riga di comando con il comando openssl. I certificati digitali x509 vengono in genere salvati in due diversi formati, DER e PEM. Il formato DER è un formato binario usato in ambiente java, il formato PEM invece è una rappresentazione […]
I podcast su linux
Dopo l’articolo su i migliori podcast italiani di tecnologia voglio segnalarvi un elenco di podcast che parlano di linux e/o opensource; in questo caso però sono in lingua inglese: The TWiT Netcast Network with Leo Laporte (è il Network di Leo Laporte che tratta di Open Source, di Google, di Sicurezza, ecc ecc) Linux Action […]
Usiamo il sed
categorie: linux
Vediamo alcuni modi di usare il sed. L’uso classico è di impiegarlo per fare la sostituzione di una stringa all’interno di un file; la sostituzione può interessare tutto il file oppure posso delimitare l’intervallo di righe in cui fare la sostituzione. Se voglio sostituire una stringa che contiene dei caratteri speciali, quest’ultimi vanno perceduti dal […]
Ricerca multipla con grep (grep multiple arguments)
categorie: linux
Supponiamo di dover cercare 2 o più parole all’interno di una stringa e che la condizione da verificare sia un AND, ossia le parole da ricercare devono essere presenti contemporanemente nella stessa stringa. La richiesta può essere esaudita usando 2 o più grep in pipe “|“: Una soluzione più elegante è di farlo in un […]
Un filtro di contenuti gratuito con OpenDNS
categorie: internet
Molti di voi conosceranno OpenDNS come fornitore di servizio DNS ma in versione sempre free offre anche il servizio di Web Content Filtering tramite Familysheld (noto anche come parental control). Per poter usufruire di questo servizio è necessario utilizzare gli indirizzi IP di OpenDNS 208.67.222.222 e 208.67.220.220, poi registrarsi al sito OpenDNS e configurare la […]
SuperTux2 Error: Use SDL instead of OpenGL
categorie: linux
Ho installato Ubuntu 10.04 LTS (Lucid Lynx) su una scheda Mini-ITX basata sul chipset VIA CN700 e devo dire senza incontrare nessun problema. Tutte le periferiche sono state riconosciute regolarmente e il driver video installato è il classico OpenChrome. Il driver video open source openchrome (e il precedente driver Via) fornisce solo accelerazione 2D, quindi […]
Musica libera per i propri progetti (Royalty Free Music)
categorie: internet
Volevo segnalarvi alcuni siti internet in cui è possibile ascoltare e scaricare liberamente musica senza dovere pagare i diritti d’autore (licenze). Da questi siti è possibile scaricare musica gratuitamente ed in modo del tutto legale, poichè viene rilasciata sotto licenze Creative Commons. Questa musica può essere utilizzata come sottofondo a produzioni video o multimediali (come […]
Bash Tips: Arg list too long
categorie: linux
A volte può succedere di passare una lista troppo lunga a un comando in bash shell. Il problema si verifica spesso con i comandi che operano sui file come ad esempio cp, mv, ls, tar, ecc. E’ possibile ovviare a questo problema sfruttando una combinazione di find e xargs. Ad esempio: oppure: Posso sostituirlo così: […]
Podcast Learning English
categorie: internet
Volevo segnalare dei podcast per migliorare il proprio inglese. In alcuni casi è possibile trovare dei veri proprio corsi di inglese a partire da un livello base fino a quello più avanzato: English as a Second Language Podcast BBC Learning English Podcastsinenglish Video corso inglese: Kantalk Adamoli English Central [ad name=”HTML”]
Cicli while in bash shell script
categorie: linux
Ecco alcuni esempi di realizzazione di contatore in shell script per eseguire un numero prefissato di volte un determinato comando o script. La riga relativa all’incremento della variabile contatore può essere realizzata anche attraverso il comanando let o expr (usato per valutare le espressioni). oppure: Invece del while posso usare anche un ciclo for: All’interno […]