Skip to content

Commit 2dae4c8

Browse files
committed
Remove version pin of Git dependency in Linux build container Dockerfile
A Docker container is used to produce the Linux build of Arduino IDE. The dependencies of the build are pinned to a specific version in the Dockerfile in order to ensure a stable environment in the images. One such dependency is Git. The version of Git available from the package repository of the Ubuntu 18.04 distro used for the image is too outdated to be used for this purpose. For this reason, a PPA is used as the source for the Git package. Unfortunately the maintainers of the PPA remove the previous package every time they add a package for a newer version of Git. This breaks the version pinned installation of the Git package: 5.515 E: Version '1:2.42.0-0ppa1~ubuntu18.04.1' for 'git' was not found For this reason it is necessary to unpin Git in the Dockerfile. This will cause whichever version is available from the PPA to be installed each time the image is built. Although not ideal for this application, that shouldn't cause any problems in practice since Git has quite a stable and carefully maintained interface.
1 parent e7754b7 commit 2dae4c8

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

Diff for: .github/workflows/assets/linux.Dockerfile

+1-1
Original file line numberDiff line numberDiff line change
@@ -32,7 +32,7 @@ RUN \
3232
apt-get \
3333
--yes \
3434
install \
35-
"git=1:2.42.0-0ppa1~ubuntu18.04.1" && \
35+
"git" && \
3636
\
3737
apt-get \
3838
--yes \

0 commit comments

Comments
 (0)