这是indexloc提供的服务，不要输入任何密码
Skip to content

Update build container to Debian 10 #420

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 3 commits into from
Jul 19, 2023
Merged

Update build container to Debian 10 #420

Changes from all commits
Commits
Show all changes
3 commits
Select commit Hold shift + click to select a range
a6a5a26
Try out debian 10
martijnvans Jul 19, 2023
2d1f911
workaround for mkdir issue
martijnvans Jul 19, 2023
c3de635
fix syntax error
martijnvans Jul 19, 2023
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 3 additions & 1 deletion build/x86_64_debian/Dockerfile
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
FROM debian:9
FROM debian:10

RUN apt-get -y update \
&& apt-get -y install \
Expand All @@ -19,6 +19,8 @@ RUN apt-get -y update \
# RVM GPG keys.
&& mkdir -p ~/.gnupg && echo "disable-ipv6" >> ~/.gnupg/dirmngr.conf \
&& gpg2 --keyserver hkp://keyserver.ubuntu.com --recv-keys 409B6B1796C275462A1703113804BB82D39DC0E3 7D2BAF1CF37B13E2069D6956105BD0E739499BDB \
# Workaround for https://stackoverflow.com/q/64653051.
&& ln -s /bin/mkdir /usr/bin/mkdir \
# Install RVM.
&& curl -sSL -o get-rvm-io.sh https://get.rvm.io \
&& (echo "7bbf79be95e516f72945e558a4290b40ff8714158140a00991d42172ff78e209 get-rvm-io.sh" | sha256sum --check) \
Expand Down