Come aggiungere PPA in Debian e derivate

Da un po di tempo ho installato Linux Mint Debian Edition, e devo dire che dopo i dovuti aggiustamenti, che per Ubuntu sono cose semplici, per debian non lo è, ora ho una distribuzione con i fiocchi.

Capita spesso però che i repository con software che ci interessa si trova sui famosi PPA per Ubuntu e se  proviamo ad aggiungere repo PPA in Debian, ci verrà dato tipico errore add-apt-repository: command not found, quindi non è possibile aggiungerli…..anzi è possibile, anche se sconsigliato. Comunque per chi vuole avere anche questa possibilità sulla propria Debian o Debian based, ha bisogno di questo script:

Quindi aprire gedit e incollare il codice riportato qui sotto:

 

#!/bin/bash
if [ $# -eq 1 ]
then
    ppa_name=`echo "$1" | cut -d":" -f2 -s`
    if [ -z "$ppa_name" ]
    then
        echo "PPA name not found"
        echo "Utility to add PPA repositories in your debian machine"
        echo "$0 ppa:user/ppa-name"
    else
        echo "$ppa_name"
        echo "deb http://ppa.launchpad.net/$ppa_name/ubuntu maverick main" >> /etc/apt/sources.list
        apt-get update >> /dev/null 2> /tmp/apt_add_key.txt
        key=`cat /tmp/apt_add_key.txt | cut -d":" -f6 | cut -d" " -f3`
        apt-key adv --keyserver keyserver.ubuntu.com --recv-keys $key
        rm -rf /tmp/apt_add_key.txt
    fi
else
    echo "Utility to add PPA repositories in your debian machine"
    echo "$0 ppa:user/ppa-name"
fi

salvare nella propria home, dando come nome: add-apt-repository.sh e copiarlo in /usr/bin, quindi aprite il terminale ed eseguite uno per volta i comandi qui sotto:

 

$ sudo cp add-apt-repository.sh /usr/bin/add-apt-repository
$ sudo chmod o+x /usr/bin/add-apt-repository
$ sudo chown root:root /usr/bin/add-apt-repository

 

adesso siamo in grado di aggiungere PPA:

$ sudo add-apt-repository ppa:nome

Fonte

About these ads