In questo articolo vediamo come scoprire tutti i pacchetti installati, aggiornati o rimossi dal vostro sistema. La guida, che si basa sull’uso della command line, è valida per Ubuntu, Linux Mint e Debian (e probabilmente per la maggior parte delle derivate).
L’obiettivo è accedere alla storia del vostro sistema, ovvero alla lista dei pacchetti DEB che avete installato / aggiornato / rimosso, compresa la data in cui l’avete fatto. Per farlo su
Leggi il contenuto originale su Lffl.org
sudo fc-cache -f -v
Leggi il contenuto originale su Marco's Box
Nonostante OpenJDK 11 sia l’ultima long-term release è attualmente disponibile solo su Ubuntu 18.10 (e superiori). Vediamo come installare OpenJDK 11 su Ubuntu 18.04, 16.04 o 14.04 e su Linux Mint 19.*, 18.* e 17.*. Per chi non lo sapesse OpenJDK è una implementazione libera della piattaforma Java, edizione standard. L’implementazione è sotto licenza GNU GPL con GPL linking exception.
Gli utenti di Ubuntu 18.04 e Linux
Leggi il contenuto originale su Lffl.org
rm ~/.cache/icon-cache.kcache
Leggi il contenuto originale su Marco's Box
Leggi il contenuto originale su Marco's Box
Leggi il contenuto originale su Marco's Box
Leggi il contenuto originale su Marco's Box
Quando installate un display manager su una distribuzione GNU/Linux vi viene richiesto di scegliere quale preferite impostare di default. Se però poi cambiate idea? Vediamo in questa semplice guida per neofiti come modificare questa scelta e cambiare il display manager impostato.
Il display manager (anche noto col nome ‘login manager’) è un software che gestice il login dell’utente e i graphical display servers. Vediamo in breve come cambiare display manager, ad esempio
Leggi il contenuto originale su Lffl.org
Molti lettori hanno diversi sistemi operativi installati sul proprio computer. C’è chi ha più distribuzioni Linux o chi ha sia Windows che Linux in parallelo. E’ comodo modificare a piacimento il GRUB boot order, o boot entry, in modo tale da impostare a piacimento il sistema operativo che verrà eseguito di default.
Grub Customizer è una semplice interfaccia grafica (gtk) che vi permette di configurare GRUB 2. Per chi non lo sapesse
Leggi il contenuto originale su Lffl.org
Firefox ESR (Extended Support Release) è una versione ufficiale di Mozilla Firefox che non offre le migliorie e le novità dell’ultima release del browser ma si focalizza sulla stabilità. Le ESR Firefox builds sono pensate per aziende, università, enti governativi e per chiunque debba garantire un ambiente stabile e perfettamente funzionante. Anche un utente normale, che preferisce la stabilità e la UI a cui è abituato piuttosto che un continuo cambio
Leggi il contenuto originale su Lffl.org
