4337 links
  • Arnaud's links
  • Home
  • Login
  • RSS Feed
  • ATOM Feed
  • Tag cloud
  • Picture wall
  • Daily
Links per page: 20 50 100
page 1 / 1
1 results tagged ppa x
  • Une astuce pour ajouter les dépôts PPA sur Debain | crowd42crowd42

    wget http://blog.anantshri.info/content/uploads/2010/09/add-apt-repository.sh.txt
    mv add-apt-repository.sh.txt /usr/sbin/add-apt-repository
    chmod o+x /usr/sbin/add-apt-repository
    chown root:root /usr/sbin/add-apt-repository

    [09:08:01] root@pc111-11 : /home/arnaud/Téléchargements #cat /usr/sbin/add-apt-repository

    !/bin/bash

    if [ $# -eq 1 ]
    NM=uname -a && date
    NAME=echo $NM | md5sum | cut -f1 -d" "
    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 lucid main" >> /etc/apt/sources.list
    apt-get update >> /dev/null 2> /tmp/${NAME}_apt_add_key.txt
    key=cat /tmp/${NAME}_apt_add_key.txt | cut -d":" -f6 | cut -d" " -f3
    apt-key adv --keyserver keyserver.ubuntu.com --recv-keys $key
    rm -rf /tmp/${NAME}_apt_add_key.txt
    fi
    else
    echo "Utility to add PPA repositories in your debian machine"
    echo "$0 ppa:user/ppa-name"
    fi

    June 3, 2013 at 9:06:19 AM GMT+2 - permalink - archive.org - http://www.crowd42.info/une-astuce-pour-ajouter-les-depots-ppa-sur-debain
    debian ppa
Links per page: 20 50 100
page 1 / 1
Shaarli - The personal, minimalist, super-fast, database free, bookmarking service by the Shaarli community - Help/documentation