Chi ha provato ad aggiungere repo PPA in Debian, si sarà senz'altro accorto del 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:
#!/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 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 come add-apt-repository.sh e copiarlo in /usr/bin:
$ 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
enjoy 😉
comodità che ci ha insegnato Ubuntu, ovvio che cambia poco dall'andarsi a modificare a manina /etc/apt/sources.list e poi aggiungere la chiave gpg, oppure ancora meglio si può direttamente usar synaptic per fare tutto! xD
una comodità che io non ho conosciuto dato che l'ultima Ubuntu che ho frequentato assiduamente
è stata la 6 06 Dapper 🙂
Com’e’ che ho trovato questo intervento copiato in https://linuxdifficile.wordpress.com/2011/01/09/come-aggiungere-ppa-in-debian-e-derivate/ con data del 9/1, a nome di un utente Linux Mint?