Commit 1fecb6d5 authored by Jan Groenewald's avatar Jan Groenewald
Browse files

Change keyserver to keyserver.ubuntu.com

parent 1deae374
#!/bin/bash
gpg --keyserver keys.openpgp.org --recv-keys CD9C0E09B0C780943A1AD85553F8BD99F40DCB31
gpg --keyserver keyserver.ubuntu.com --recv-keys CD9C0E09B0C780943A1AD85553F8BD99F40DCB31
echo 'deb http://www.math.uiuc.edu/Macaulay2/Repositories/Debian buster main' >/etc/apt/sources.list.d/macaulay2.list
apt-get -qq update
apt-get -y install macaulay2
......
#!/bin/bash
echo "deb http://cloud.r-project.org/bin/linux/debian buster-cran40/" > /etc/apt/sources.list.d/cran.list
gpg --keyserver=keys.openpgp.org --recv-keys E19F5F87128899B192B1A2C2AD5F960A256A04AF
gpg --keyserver keyserver.ubuntu.com --recv-keys E19F5F87128899B192B1A2C2AD5F960A256A04AF
apt-get -qq update
apt-get -yf install r-base r-base-dev r-recommended
......
......@@ -4,7 +4,7 @@
#RSTUDIO=https://download1.rstudio.org/desktop/bionic/amd64/rstudio-1.3.959-amd64.deb
RSTUDIO=https://download1.rstudio.org/desktop/bionic/amd64/rstudio-1.4.1717-amd64.deb
gpg --keyserver keys.openpgp.org --recv-keys 3F32EE77E331692F
gpg --keyserver keyserver.ubuntu.com --recv-keys 3F32EE77E331692F
apt-get -qq update
apt-get -y install r-recommended libedit2 libssl1.1 libclang-dev libobjc-8-dev libobjc4
cd /tmp
......
aims-desktop (2:2020.99) buster; urgency=medium
* Change keyserver to keyserver.ubuntu.com
-- Jan Groenewald <jan@aims.ac.za> Thu, 19 Aug 2021 12:29:28 +0200
aims-desktop (2:2020.98) buster; urgency=medium
* Change keyserver and apt->gpg
......
#!/bin/bash
gpg --keyserver keys.openpgp.org --recv-key CD9C0E09B0C780943A1AD85553F8BD99F40DCB31
gpg --keyserver keyserver.ubuntu.com --recv-key CD9C0E09B0C780943A1AD85553F8BD99F40DCB31
echo 'deb http://www.math.uiuc.edu/Macaulay2/Repositories/Debian bullseye main' >/etc/apt/sources.list.d/macaulay2.list
apt-get -qq update
apt-get -y install macaulay2
......
#!/bin/bash
echo "deb http://cloud.r-project.org/bin/linux/debian bullseye-cran40/" > /etc/apt/sources.list.d/cran.list
gpg --keyserver keys.openpgp.org --recv-keys E19F5F87128899B192B1A2C2AD5F960A256A04AF
gpg --keyserver keyserver.ubuntu.com --recv-keys E19F5F87128899B192B1A2C2AD5F960A256A04AF
apt-get -qq update
apt-get -yf install r-base r-base-dev r-recommended
......
......@@ -2,7 +2,7 @@
RSTUDIO=https://download1.rstudio.org/desktop/bionic/amd64/rstudio-1.4.1717-amd64.deb
gpg --keyserver keys.openpgp.org --recv-keys 3F32EE77E331692F
gpg --keyserver keyserver.ubuntu.com --recv-keys 3F32EE77E331692F
if [ "$1" != "-n" ]; then
apt-get -qq update # update unless called with -n, e.g. from aims-complete-install
fi
......
aims-desktop (1:2022.17) bullseye; urgency=medium
* Change keyserver to keyserver.ubuntu.com
-- Jan Groenewald <jan@aims.ac.za> Thu, 19 Aug 2021 12:30:48 +0200
aims-desktop (1:2022.16) bullseye; urgency=medium
* Change keyserver to keys.openpgp.org and use gpg instead of apt-key
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment