Changer les couleurs du shell Debian samedi 27 décembre 2014 à 22:24 Httqm's Links 27/12/2014 (via : https://shaarli.pandouillaroux.fr/?ppbcdg)(Permalink)