Categoria: linux

Tutto quello che riguarda il mondo linux.

Interruzione android process acore

Dopo l’aggiornamento del mio nexus 7 ad android 4.3 ho riscontrato il problema dell’arresto del processo android.process.acore che bloccava il normale utilizzo del dispositivo con una noiosa finestra di dialogo. Dopo un po’ ho capito che tale processo era legato alla gestione dei contatti; infatti la famosa finestra di dialogo compariva solo se uno apriva […]

Sudo senza password

Come indicato nel titolo volevo suggerire un trucco per impedire al comando sudo di chiedere la password ogni volta che viene invocato. Per modificare questo comportamento è necessario editare il file suoders che si trova in /etc/sudoers; tale file di configurazione contiene le regole che gli utenti devono seguire quando usano il comando sudo e […]

Mari0 (Super Mario Bros + Portal)

Mari0 è una versione particolare di Super Mario Bros, praticamente è un mix di Super Mario Bros  con elementi mutuati da Portal, come ad esempio la Portal Gun. Per giocare a Mari0 dovete installare il game engine LOVE 2D; nel caso di Ubuntu è disponibile una ppa e qui potete trovare tutti i comandi per […]

Tutto sugli hard link

Vediamo tramite alcuni esempi la realizzazione di un hard link. Un hard link è praticamente la copia di un file, ossia è lo stesso file con nomi diversi ma il file originale e tutti gli hard link associati a quel file sono indistinguibili. L’unico modo di distinguere i file è attraverso il suo inode. Ad […]

Convertire pdf in immagini

Mi sono trovato nella necessità di dover convertire delle pagine pdf in immagini jpeg o png da pubblicare su un sito web. Ho cercato su internet ma ho trovato solo dei programmi per windows da installare. Allora mi sono ricordato della suite Imagemagick per la manipolazione di immagini che permette di fare conversioni con un […]

Quale Distribuzione Linux

Oggigiorno ci sono paracchie distribuzioni linux, ognuna con caratteristiche particolari tipo l’interfaccia grafica (KDE o Gnome), l’uso a cui è destinata (ufficio, giochi, sicurezza, programmazione) etc etc. Però ho scoperto l’esistenza di alcuni siti web che attraverso una comoda procedura, aiutano nella scelta della giusta distribuzione linux. In particolare vi propongo questi 3 configuratori online: […]

Convertiamo il nostro testo in HTML con Vim

Se volete pubblicare qualche riga di codice C o script Bash sul vostro blog e non avete a disposizione un “plugin” in javascript per gestire il syntax highlighting vi consiglio questo piccolo trucco per convertire un file di testo nella corrispondente sintassi HTML all’interno dell’editor Vim. Quindi se noi abbiamo una porzione di codice sorgente […]

Schedulazione di un task a fine mese

Oggi voglio proporre un trucco per ricordare un evento o eseguire un determinato task all’ultimo giorno del mese; ad esempio io lo uso per ricordami di fare il fine mese delle ore lavorate. Il comando inserito in crontab viene eseguito tutti i giorni alle ore 12 e verifica se la data è uguale all’ultimo giorno […]

Rilascio pacchetto debian e rpm per flatnuke 3.0.0

Ho creato un pacchetto debian e rpm per la versione 3.0.0 di Flatnuke in modo da facilitare l’installazione su sistemi linux Debian e Red Hat based. Il download é disponibile qui: Installazione Deb: E’ sufficiente eseguire dpkg -i flatnuke-3.0.0_all.deb come utente root oppure sudo dpkg -i flatnuke-3.0.0_all.deb nel caso di ubuntu. Il pacchetto di default […]