Errore nell'aggiunta repo ('$arch' senza backslash veniva interpretato come variabile vuota)