Redis, abbreviazione di REmote DIctionary Server, è un software open source che mette a disposizione una struttura dati in memoria utilizzabile come database o cache. PhpRedis è un’estensione fornisce un’API per comunicare con l’archivio chiave-valore Redis. Solitamente è il client che si attiva per usare Redis con PHP.Il metodo più semplice per installare PhpRedis è […]
AutoFS permette di montare automaticamente delle partizioni o delle share condivise al momente del bisogno e smontarle automaticamente quando non vengono utilizzate per un periodo di tempo lungo. Il modo usuale per montare automaticamente le partizioni in modo statico all’avvio del sistema consiste nell’inserire una voce nel file /etc/fstab. Con AutoFS, invece, le partizioni con […]
Più di una settimana fa abbiamo acquistato uno smartphone Android Motorola Moto E7i Power. Dopo averlo ricaricato alcune volte, siamo pronti per farne una recensione. Questo dispositivo è di fascia intermedia e ha un prezzo decisamente interessante: infatti è uno di quei modelli che sono vincenti nella categoria del miglior rapporto prezzo prestazioni; per una […]
Ansible è un tool di gestione dei sistemi operativi, nei precedenti articoli abbiamo visto come abilitare la gestione di alcuni server Linux e come impartire un comando. Vediamo in questo articolo come ottenere informazioni dai server gestiti. A volte è necessario recuperare alcuni parametri di configurazione di un sistema. La configurazione di base per il […]
Il server OpenSSH, per impostazione predefinita su Debian Linux, mette a disposizione protocolli di cifratura/cifrari abbastanza deboli.Ecco in questo articolo un esempio di come rafforzare la sicurezza specificando cifrari più robusti. Per Debian Jessie o versioni successive (OpenSSH 6.7+), modifica il file /etc/ssh/sshd_config. In questo file, commenta le chiavi host ssh vulnerabili, lasciando abilitato solo […]
