diff options
author | Tim-Philipp Müller <tim@centricular.com> | 2023-03-15 19:01:47 +0000 |
---|---|---|
committer | GStreamer Marge Bot <gitlab-merge-bot@gstreamer-foundation.org> | 2023-03-17 03:18:54 +0000 |
commit | f75d4f5f9f90187730229ab6f23dc9f536edd762 (patch) | |
tree | 7e7d4e38a285857cf4cd384ca5eda74f8def9538 /ci | |
parent | cb61fb02efe5e8642955e32ba987017d621a603d (diff) | |
download | gstreamer-f75d4f5f9f90187730229ab6f23dc9f536edd762.tar.gz |
ci: update indent image to GNU indent 2.2.12
... and dotnet-sdk to 7.0.
Fixes #340
Part-of: <https://gitlab.freedesktop.org/gstreamer/gstreamer/-/merge_requests/4182>
Diffstat (limited to 'ci')
-rwxr-xr-x | ci/docker/indent/prepare.sh | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/ci/docker/indent/prepare.sh b/ci/docker/indent/prepare.sh index b8c15042c1..a2ca626c62 100755 --- a/ci/docker/indent/prepare.sh +++ b/ci/docker/indent/prepare.sh @@ -5,11 +5,12 @@ apt update -yqq apt install -y gnupg apt-transport-https curl https://packages.microsoft.com/keys/microsoft.asc | gpg --dearmor > microsoft.asc.gpg mv microsoft.asc.gpg /etc/apt/trusted.gpg.d/ -curl -O https://packages.microsoft.com/config/debian/9/prod.list +# FIXME: this is bullseye, but image is actually bookworm (testing at the time) +curl -O https://packages.microsoft.com/config/debian/11/prod.list mv prod.list /etc/apt/sources.list.d/microsoft-prod.list chown root:root /etc/apt/trusted.gpg.d/microsoft.asc.gpg chown root:root /etc/apt/sources.list.d/microsoft-prod.list apt update -yqq -apt install -y dotnet-sdk-5.0 +apt install -y dotnet-sdk-7.0 dotnet tool install --global dotnet-format ln -s ~/.dotnet/tools/dotnet-format /usr/local/bin/dotnet-format |