Ubuntu è tra quelle distribuzioni Linux che si tiene i vecchi kernel quando ne installa uno nuovo.
Senza stare discutere se è meglio tenerli o meno, di sicuro alla lunga occupano spazio.
Quelli più vecchi andrebbero levati, per tenersi solo l'ultima versione funzionante (oltre all'ultima versione assoluta).
Come possiamo levare i kernel più vecchi?
Ero alla ricerca di un programma per formattare un file JSON sul mio pc, senza passare per strumenti online.
Il motivo è semplicemente che il file pesa 33 MB, e quindi sul web è troppo lento.
Cercando qua e la ho scoperto che dalla versione 2.6 Python include uno strumento a riga di comando che fa esattamente quello che cerco: json.tool.
Qualche tempo fa stavo cercando di installare un programma tramite AUR (non mi ricordo quale), ma non riuscivo.
Mi usciva questo errore:
Impossibile trovare fakeroot richiesto per compilare da utente non root
Impossibile trovare strip richiesto per lo stripping dei file
makepkg non è riuscito a compilare .......
In verità la soluzione è molto semplice.
Su un pc configurato come DNS server, mi è capitato di dover fare pulizia della cache ARP.
Solo dopo aver fatto il flush della cache, sono riuscito a fare connettere due pc (evidentemente si erano incastrati gli IP di vari pc vecchi e nuovi).
Di default, in Linux, non è previsto un comando per fare pulizia di tutta la cache.
Ma si possono rimuovere gli indirizzi con l'opzione -d.
Anche se si tratta di Javascript, Node.js gira lato server.
Ed è quindi possibile fare delle operazioni che inizialmente non era possibile fare in Javascript.
Ad esempio possiamo identificare se l'utente è root.
Abbiamo parlato varie volte di FFmpeg, e oggi vediamo come usarlo per convertire i file MP4 in Divx AVI.
La procedura è molto semplice in verità, in quanto basta un comando solo.