Sono passati veramente molti anni dall’ultima versione di Microsoft Flight Simulator, Microsoft Flight Simulator X detto anche FSX o FS10. Ora la casa madre è in procinto di rilasciare una nuova release aggiornata: Microsoft Flight Simulator 2020 (FS 2020). Flight Simulator 2020 sarà disponibile in più versioni, quella più economica, ossia la versione standard, mette … Continua a leggere →
Miniedit è lo strumento grafico che permette di disegnare delle reti per Mininet in maniera semplice producendo uno script che può essere lanciato via command-line. Mininet consente di simulare su un singolo PC una rete Software-Defined Networking (SDN). Continua a leggere →
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 … Continua a leggere →
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) … Continua a leggere →
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 … Continua a leggere →
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 è … Continua a leggere →
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 … Continua a leggere →
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 … Continua a leggere →
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 … Continua a leggere →
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 … Continua a leggere →