Dopo aver effettuato l’aggiornamento di versione dalla versione 16.04 alla versione 18.04 LTS ho avuto dei problemi di risoluzione DNS dopo l’aggiornamento. Poco male, dato che ora la gestione della rete è gestibile da systemd…
Capita a diversi amministratori di sistema di dover aggiornare il servizio PHP dei server che amministra, e oggi desidero condividere qui il modo facile, semplice e indolore, per farlo con pochi comandi da terminale.
Sabato 27 ottobre ritorna la principale manifestazione italiana dedicata al sistema operativo Linux, al software libero, alla cultura aperta ed alla condivisione: verranno effettuati decine di eventi in tutta Italia, con centinaia di volontari coinvolti e migliaia di visitatori per celebrare insieme la libertà digitale!
Oggi è stata rilasciata la versione 4.1.3 del noto editor grafico.
Questo rilascio include ulteriori strumenti di riferimento per le immagini, oltre alla risoluzione di alcuni bug esistenti.
Talvolta potrebbe accadere che, una volta avviato l’editor grafico GIMP, alla richiesta di avviare l’aiuto in linea tramite il comando Aiuto, presente nel menu Aiuto, compaia un messaggio di errore…
Può accadere, come è accaduto a me, che chi aveva installato una delle precedenti versioni del noto software RawTherapee per una delle tante versioni di Ubuntu, incorra nell’errore di segmentazione del programma durante il suo avvio, rendendone impossibile l’utilizzo.