backup di un database MySql

Backup di un database MySql con mysqldump

Uno dei metodi più diffusi per effettuare un backup di un database MySql è sicuramente tramite l’utility mysqldump, utility fornita con l’installazione del server MySql e realizzata da Igor Romanenko. Dopo aver parlato delle query più comuni vediamo come eseguire il backup di un database MySql ed il suo successivo ripristino (restore). Per la documentazione […]

Come verificare se il nostro PC è vulnerabile a Spectre e Meltdown

Se ultimamente non avete vissuto su un isola deserta, avrete sentito sicuramente parlare della scoperta delle vulnerabilità Spectre e Meltdown che affliggono i processori ARM, Intel e AMD. Vediamo in modo semplice come verificare se il nostro PC è vulnerabile a Spectre e Meltdown. Prima di tutto una breve spiegazione delle 2 vulnerabilità più famose […]

aggiornamento

Aggiornamento Ubuntu e derivate: Differenza fra upgrade e dist-upgrade

Parlando con un amico ci siamo trovati in disaccordo circa il comando da utilizzare per l’aggiornamento della nostra distribuzione da linea di comando.
Tralasciando il poco condivisibile “se funziona non aggiornare”, ci siamo resi conto che nessuno dei due aveva chiarissima la differenza fra i due comandi:

sudo apt-get upgrade

e

sudo apt-get dist-upgrade

Leggi di più a proposito di Aggiornamento Ubuntu e derivate: Differenza fra upgrade e dist-upgrade

alias

Linux Shell: Gestione degli Alias

In questo tutorial voglio parlarvi di una funzionalità molto utile della Shell Linux gli Alias.
Come si evince dal nome stiamo parlando di un “soprannome” che possiamo dare ad un comando singolo o ad un comando seguito da parametri. Ad esempio potremmo chiamare orso l’eseguibile /usr/local/bin/programmi_di_fabrizio/gigiballa  o potremmo “sostituire” comandi già esistenti, il caso più comune è far si che lanciando un comando vengano aggiunti sempre gli stessi parametri.

Leggi di più a proposito di Linux Shell: Gestione degli Alias

Icona personalizzata

Icona personalizzata per le nostre chiavette USB

Al giorno d’oggi gli asili di tutto il mondo chiedono delle chiavette USB per inserire le foto fatte durante l’anno e roba varia (ogni anno me la chiedono più grande arriveremo al terabyte?). Negli anni scorsi mi è capitato di riavere indietro una chiavetta diversa da quella che avevo consegnato (almeno c’erano le foto di mio figlio). Per evitare questo problema possiamo personalizzare al massimo la nostra chiavetta USB.
Il miglior modo, oltre a mettere un’etichetta personalizzata, è assegnare un’icona così che quando viene inserita nell’unità appaia la foto (in posa malvagia ovviamente così la maestra si ricorda con chi ha a che fare).

Leggi di più a proposito di Icona personalizzata per le nostre chiavette USB

cinnamon logo

[Snippet] Installare Cinnamon su Ubuntu

Noi Geek tendiamo alla sperimentazione quindi ci piace provare distribuzioni, Desktop Manager e chi più ne ha più ne metta. Prima di passare direttamente a Linux Mint mi è capitato di provare l’ottimo Desktop Manager Cinnamon (pagina Wikipedia) su Ubuntu.
Adesso che Ubuntu ha abbandonato Unity in favore di Gnome Shell può essere una buona alternativa.
Leggi di più a proposito di [Snippet] Installare Cinnamon su Ubuntu