Usa i tool della tua distribuzione. Che distribuzione usi?