Un référentiel ppa peut-il être ajouté à /etc/apt/source.list?

12

Par sudo add-apt-repository '<deb url codename component>', un référentiel est ajouté au fichier /etc/apt/source.list.

Par sudo add-apt-repository ppa:<user>/<ppa-name>, j'ai vu que tous les dépôts ppa sont ajoutés au répertoire /etc/apt/source.list.d:

$ ls /etc/apt/sources.list.d/
ferramroberto-sopcast-precise.list
ferramroberto-sopcast-precise.list.save
google-talkplugin.list
google-talkplugin.list.save
kalakris-okular-precise.list
kalakris-okular-precise.list.save
linrunner-thinkpad-extras-precise.list
linrunner-thinkpad-extras-precise.list.save
precise-partner.list
precise-partner.list.save
staticfloat-julia-deps-precise.list
staticfloat-juliareleases-precise.list
staticfloat-juliareleases-precise.list.save
telepathy-ppa-precise.list
telepathy-ppa-precise.list.save
ubuntu-wine-ppa-precise.list
ubuntu-wine-ppa-precise.list.save
venerix-blug-precise.list
venerix-blug-precise.list.save
  1. Un référentiel ppa peut-il être ajouté à la fin du fichier /etc/apt/source.list à la place?

  2. Pourquoi les dépôts ppa sont-ils traités différemment des dépôts non-ppa?

  3. Existe-t-il d'autres référentiels non-ppa traités de la même manière que ceux-ci?

  4. sudo add-apt-repository '<deb url codename component>'Ajoutera- t-il un référentiel ppa à /etc/apt/source.list ou à certains fichiers sous /etc/apt/source.list.d?

Tim
la source

Réponses:

11
  1. Oui, les PPA peuvent être ajoutés /etc/apt/source.list, de la même manière que les référentiels debian (deb).

    deb http://ppa.launchpad.net/<ppa-name>/ppa/ubuntu <release-code-name> main 
    deb-src http://ppa.launchpad.net/<ppa-name>/ppa/ubuntu <release-code-name> main
    

    Un exemple pour WineHq: lien du référentiel pian debian

  2. Pensait simplement à garder les choses en quelque sorte facilement gérées, /etc/apt/source.listne laissant que les dépôts de versions officielles. Tous les référentiels supplémentaires vont à /etc/apt/source.list.d/. Facile de:

    1. ajouter (création d'un fichier puis modification d'un fichier existant, une solution partielle pour éviter les doublons aussi)
    2. supprimer (en analysant une /etc/apt/source.listligne vers la ligne associée)
    3. sauvegarde / restauration (en utilisant l'archive compressée du /etc/apt/source.list.d/dossier)
    4. éviter de casser des choses avec beaucoup de modifications ciblées /etc/apt/source.list
  3. Les PPA sont toujours ajoutés au /etc/apt/source.list.d/dossier s'ils sont écrits sous ppa:<user>/<ppa-name>forme.

    Référence: man add-apt-repository

    REPOSITORY STRING
           REPOSITORY can  be  either  a  line  that  can  be  added  directly  to
           sources.list(5),  in the form ppa:<user>/<ppa-name> for adding Personal
           Package Archives, or a distribution component to enable.
    
           In  the   first   form,   REPOSITORY   will   just   be   appended   to
           /etc/apt/sources.list.
    
           In  the second form, ppa:<user>/<ppa-name> will be expanded to the full
           deb  line  of  the  PPA  and   added   into   a   new   file   in   the
           /etc/apt/sources.list.d/  directory.   The  GPG public key of the newly
           added PPA will also be downloaded and added to apt's keyring.
    
           In the third form, the given distribution component will be enabled for
           all sources.
    
  4. Eh bien, il semble que seuls les PPA soient utilisés /etc/apt/sources.list.d/. add-apt-repositoryou apt-add-repositoryest un outil spécifique à Ubuntu. Tout ce à quoi je peux penser, c'est juste la décision d'Ubuntu de garder les PPA personnels à l'écart.

    Cependant, vous pouvez le modifier pour l'utiliser uniquement /etc/apt/sources.list. C'est un script python3. Modifier la /usr/bin/add-apt-repositoryligne:

    shortcut = shortcut_handler(line)
    

    remplacez-le par celui-ci ci-dessous pour résoudre le formulaire de raccourci ppa en un formulaire de ligne deb:

    shortcut = shortcut_handler(shortcut_handler(line).expand(sp.distro.codename)[0])
    
user.dz
la source
Notez que, étrangement, les dépôts non PPA seront ajoutés à /etc/apt/sources.list.
saiarcot895
1
@ saiarcot895, je pense qu'il a add-apt-repositoryété écrit pour faciliter le travail avec PPA en 1ère place. Voici la description de la validation lors de son ajout: " nouveau script d'aide" add-apt-repository "qui peut être utilisé pour activer un référentiel à partir de la ligne de commande. Utile par exemple pour 'add-apt-repository ppa: gnome-desktop' ". bazaar.launchpad.net/~ubuntu-core-dev/software-properties/main/…
user.dz