diff options
author | Mattia Rizzolo <mattia@debian.org> | 2017-11-11 19:32:22 +0100 |
---|---|---|
committer | Mattia Rizzolo <mattia@debian.org> | 2017-11-11 19:32:22 +0100 |
commit | 0097b352786eb3159a11aa871302e8f6399fe5e0 (patch) | |
tree | 8e1cb1b4b664a053c55d8358a9e48fa46d0a49b2 /hosts/jtx1c-armhf-rb/etc/apt/apt.conf.d/80proxy | |
parent | 15ad2703c220a41c3fcad49549f110df2b5b20fa (diff) | |
download | jenkins.debian.net-0097b352786eb3159a11aa871302e8f6399fe5e0.tar.xz |
reprodocible debian: schroot-create: drop the reproducible gpg keyring into /etc/apt/trusted.gpg.d/ instead of using `apt-key add`
apt-key add is now deprecated and it seems to be giving us troubles now
Signed-off-by: Mattia Rizzolo <mattia@debian.org>
Diffstat (limited to 'hosts/jtx1c-armhf-rb/etc/apt/apt.conf.d/80proxy')
0 files changed, 0 insertions, 0 deletions