Aggiornamento 26/06/2020 – In fondo al post. Quello che è successo negli ultimi giorni è alquanto bizzarro, ma non di certo infrequente: all’improvviso una serie di lettori Blu-ray Samsung ha praticamente smesso di di funzionare.In un post della community sul sito di supporto di Samsung ci sono ormai centinaia di interventi di utenti che confermano […]
A volte capita di dover estendere lo spazio disco associato ad una partizione di tipo EXT4 che è attiva (online) su un server. Nel nostro caso abbiamo un server con Ubuntu 14.04 sul quale è necessario più spazio per cui bisogna estendere la partizione / del sistema operativo. Il server non ha logical volume (LVM) […]
Impostare un IP statico, ossia un indirizzo IP che non cambia, in Ubuntu 20.04 non è molto difficile. La modifica può essere fatta via interfaccia grafica nella versione desktop, mentre nella versione server di Ubuntu 20.04 è necessario usare la riga di comando. Per prima cosa occorre individuare il nome dell’interfaccia di rete alla quale […]
Windows 10 putroppo ha diverse app installate che possono dare fastidio, sia in termini di privacy (e telemetria) sia a livello di occupazione delle risorse come cpu, ram e spazio disco. A volte anche fastidio di ritrovarsi con queste app che compaiono nel menù Start. Il modo più semplice per sbarazzarsi di queste app è […]
La procedura per rinnovare il certificato SSL/TLS nel keystore di Tomcat dipende tipicamente dal tipo di certificato o meglio dall’ente certificatore. Nelle ultime versioni di Tomcat l’uso del keystore, come abbiamo visto negli articoli precedenti, non è più necessario rendendo il rinnovo del certificato più semplice in quanto basta sostituire i file della chiave, della […]
La falla consente a un utente malintenzionato di forzare qualsiasi DNS resolver ricorsivo a inviare un numero elevato di query (Distributed denial-of-service) al server DNS autorevole della vittima. L’aspetto che viene sfruttato è la delega glueless, dove un glue record corrisponde agli indirizzi IP di un name server (ossia un DNS server).Petr Špa?ek scrive ul […]
Systemd, il gestore di tutto in Linux, è uno dei servizi fondamentali dei sistemi operativi del piguino usciti negli ultimi 6-7 anni.Ha gradualmente soppiantato SysVinit, il tradizionale gestore di avvio/spegnimento dei deamon, e ha anche preso posto di altri tool integrandosi nel sistema in maniera alquanto invasiva. Journal è un componente di systemd che si […]
In questa guida vediamo come configurare il supporto HTTPS, tramite Transport Layer Security (TLS), su Tomcat.Tomcat sfrutta le tecnologie Java sottostanti per fornire il supporto alle connessioni sicure e per questo motivo la configurazione di TLS su Tomcat non è così immediata come per il classico Apache HTTPD. Questo articolo fa riferimento alla versione Tomcat […]
In un precendente tutorial abbiamo visto come installare Tomcat su CentOS 8, ora vediamo come installare il popolare application server su Ubuntu 20.04 Focal Fossa. Dopo aver installato Ubuntu 20.04, versione server, è sufficiente installare il Java JDK versione 8 sul server. Create un utente chiamato tomcat9 e create una cartella per ospitare i file […]
