Guide

Guide, Informatica, Mondo Linux

[GUIDA] Ecco come installare OpenJDK 11 su Ubuntu e/o Linux Mint

by Matteo Gatti on 13 Gennaio 2019

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.

OpenJDK su Ubuntu e Linux Mint

Gli utenti di Ubuntu 18.04 e Linux

Guide, Linux Mint, OpenJDK, Ubuntu

Come cancellare la cache delle icone su KDE

by Marco Giannini on 12 Gennaio 2019

Il team di KDE è lavora sempre su più fronti aggiornando regolarmente anche le icone di sistema. Può capitare, a seguito dell'aggiornamento, di non visualizzare subito le icone. Risolvere questo problema è facilissimo, basta cancellare la cache delle icone di KDE.
Come fare? Semplice. Apriamo il terminale e digitiamo

rm ~/.cache/icon-cache.kcache

In questo modo verrà cancellato la cache delle icone di KDE e potremo gustarci subito le nuove icone.

Leggi il contenuto originale su Marco's Box

Guide, Icone KDE, Informatica, KDE, Mondo Linux

Fedora 29 – Guida post installazione

by Luca on 2 Gennaio 2019

Introduzione

Fedora è una distribuzione estremamente fluida e molto ben costruita. Ma basta poco per accorgersi che il tutto è davvero ridotto all'osso. Niente codec per la riproduzione dei media (a lavorare senza musica non se ne parla), niente driver proprietari per le schede di rete wifi, nemmeno i tasti massimizza e minimizza per le finestre sono disponibili di default. Vedremo ora come completarla per un utilizzo quotidiano.

Installazione di RPM Fusion e

Leggi il contenuto originale su Marco's Box

fedora, Fedora 29, Gnome Shell, Guide, Informatica, Luca Moscato, Mondo Linux

Video tearing in Totem con driver NVIDIA: ecco la soluzione

by Marco Giannini on 30 Dicembre 2018

Il tearing video, specie con i driver NVIDIA, è un problema di vecchia data in ambiente Linux. Nel corso degli anni la situazione è nettamente migliorata, e con GNOME il problema è quasi del tutto scomparso. Quasi perché nel mio caso il problema continuava a presentarsi nella riproduzione di video a tutto schermo con Totem/Video, il riproduttore video di default di GNOME.
Fino ad ora ho sempre ignorato il problema e risolto

Leggi il contenuto originale su Marco's Box

Gnome Shell, GNOME Shell 3.10, Guide, Informatica, Mondo Linux

Come aggiornare da Linux Mint 19 a Linux Mint 19.1

by Marco Giannini on 20 Dicembre 2018

Dopo il rilascio di Linux Mint 19.1 avvenuto qualche giorno fa, il team di Linux Mint ha comunicato l'arrivo dell'aggiornamento di versione da Linux Mint 19 a Linux Mint 19.1.
Come sempre l'aggiornamento può essere avviato dal Gestore di Aggiornamenti selezionando l'apposita voce.

Prima di procedere all'aggiornamento il team di Linux Mint consiglia di effettuare tutti gli update di sistema (compresi gli aggiornamenti di eventuali applet di terze parti), creare uno snapshot di sistema

Leggi il contenuto originale su Marco's Box

Guide, Informatica, Linux Mint, Linux Mint 19, Linux Mint 19.1, Mondo Linux

[GUIDA] Ecco come cambiare Display Manager in Debian, Ubuntu o Mint

by Matteo Gatti on 16 Dicembre 2018

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

debian, display manager, Guide, Linux Mint, News, Ubuntu

[GUIDA] Cambiamo l’ordine di boot con Grub customizer

by Matteo Gatti on 11 Dicembre 2018

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

Boot, GRUB, Grub Customizer, Guide, News

[GUIDA] Ecco come installare Firefox ESR su Ubuntu o Mint (PPA/Snap)

by Matteo Gatti on 1 Dicembre 2018

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

ESR, Firefox ESR, Guide, Mozilla Firefox, software

Nvidiux: tool per l’overclock di GPU Nvidia su Linux (GUI)

by Matteo Gatti on 24 Novembre 2018

Nvidiux è un tool grafico per l’overclock di schede grafiche Nvidia su OS GNU/Linux. Il tool vi permette di overclockare (o downloclockare) la vostra scheda con pochi click e mette a disposizione anche alcune feature aggiuntive (controllo delle ventole, monitoraggio di vari parametri della vostra scheda, etc) di cui vi parlerò a breve.

Nvidiux si prende cura di tutto il necessario per l’overclocking delle schede grafiche Nvidia, ed è facile da usare