Согласно sudo add-apt-repository '<deb url codename component>'
, хранилище добавляется в файл /etc/apt/source.list.
К sudo add-apt-repository ppa:<user>/<ppa-name>
я увидел, что все репозитории ppa добавляются в /etc/apt/source.list.d dir:
$ 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
Могут ли репозитории ppa быть вместо этого добавляется в конец файла /etc/apt/source.list?
Почему репозитории ppa обрабатываются иначе, чем не-ppa?
Существуют ли другие не-ppa-репозитории, которые обрабатываются так же, как ppa?
sudo add-apt-repository '<deb url codename component>'
добавят ppa-репозиторий в /etc/apt/source.list или в какой-нибудь другой файлы в /etc/apt/source.list.d?
Да, PPA может быть добавлен к /etc/apt/source.list
, похожим способом к 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
Пример для WineHq:
Мысль просто вопрос хранения вещей, так или иначе легко управляемых, отъезд /etc/apt/source.list
только для официальных репозиториев выпуска. Все другие хранилища переходят в /etc/apt/source.list.d/
. Легкий к:
/etc/apt/source.list
смотря на связанную строку)/etc/apt/source.list.d/
папка)/etc/apt/source.list
PPA всегда добавляется к /etc/apt/source.list.d/
папка, если записал это в ppa:<user>/<ppa-name>
форма.
Ссылка: 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.
Ну, это кажется только PPA, когда ярлык переходит в /etc/apt/sources.list.d/
. add-apt-repository
или apt-add-repository
Ubuntu определенный инструмент. Все, о чем я могу думать, является просто решением Ubuntu не пустить персональный PPA.
Однако можно изменить его для использования только /etc/apt/sources.list
. Это - python3 сценарий. Изменить /usr/bin/add-apt-repository
строка:
shortcut = shortcut_handler(line)
замените его этим ниже для разрешения ppa формы ярлыка к deb форме строки:
shortcut = shortcut_handler(shortcut_handler(line).expand(sp.distro.codename)[0])