Il giorno Fri, 23 Mar 2018 20:02:55 +0100 Davide Prina <davide.prina@gmail.com> ha scritto: > stai attento che facendo così alteri anche i sources.list, se non > erro ti installa dei repository suoi in /etc/apt/sources.list.d ed è confermo -- Filippo