From b737061301deee180707594b2f575ce5b704cc06 Mon Sep 17 00:00:00 2001 From: Mathieu Le Marec - Pasquet Date: Sun, 21 Dec 2025 20:00:39 +0300 Subject: [PATCH] docker: more cleanup --- docker/corpusops/archlinux:latest-2.10 | 1 + docker/corpusops/archlinux:latest-2.9 | 1 + docker/corpusops/centos:7-2.10 | 1 + docker/corpusops/centos:7-2.9 | 1 + docker/corpusops/debian:bullseye-2.10 | 1 + docker/corpusops/debian:bullseye-2.9 | 1 + docker/corpusops/debian:buster-2.10 | 1 + docker/corpusops/debian:buster-2.9 | 1 + docker/corpusops/debian:latest-2.10 | 1 + docker/corpusops/debian:latest-2.9 | 1 + docker/corpusops/debian:sid-2.10 | 1 + docker/corpusops/debian:sid-2.9 | 1 + docker/corpusops/ubuntu:14.04-2.10 | 1 + docker/corpusops/ubuntu:14.04-2.9 | 1 + docker/corpusops/ubuntu:16.04-2.10 | 1 + docker/corpusops/ubuntu:16.04-2.9 | 1 + docker/corpusops/ubuntu:18.04-2.10 | 1 + docker/corpusops/ubuntu:18.04-2.9 | 1 + docker/corpusops/ubuntu:20.04-2.10 | 1 + docker/corpusops/ubuntu:20.04-2.9 | 1 + docker/corpusops/ubuntu:22.04-2.10 | 1 + docker/corpusops/ubuntu:22.04-2.9 | 1 + docker/corpusops/ubuntu:latest-2.10 | 1 + docker/corpusops/ubuntu:latest-2.9 | 1 + hacking/Dockerfile.in | 1 + 25 files changed, 25 insertions(+) diff --git a/docker/corpusops/archlinux:latest-2.10 b/docker/corpusops/archlinux:latest-2.10 index 26ae5513..51529b2a 100644 --- a/docker/corpusops/archlinux:latest-2.10 +++ b/docker/corpusops/archlinux:latest-2.10 @@ -205,6 +205,7 @@ RUN bash -c 'step_rev=3;set -e;cd $COPS_ROOT;\ rm -f /usr/bin/docker-runc; \ rm -f /usr/bin/dockerd; \ fi; \ + for i in /root/.local;do rm -rf $i || true;done;\ export LDISTRIB_ID=$(echo $DISTRIB_ID|awk '"'{print tolower("'$0'")}'"' );\ cd "$COPS_ROOT";\ sed -i "/extraheader/ d" .git/config;\ diff --git a/docker/corpusops/archlinux:latest-2.9 b/docker/corpusops/archlinux:latest-2.9 index ff40151f..7fbd20f4 100644 --- a/docker/corpusops/archlinux:latest-2.9 +++ b/docker/corpusops/archlinux:latest-2.9 @@ -205,6 +205,7 @@ RUN bash -c 'step_rev=3;set -e;cd $COPS_ROOT;\ rm -f /usr/bin/docker-runc; \ rm -f /usr/bin/dockerd; \ fi; \ + for i in /root/.local;do rm -rf $i || true;done;\ export LDISTRIB_ID=$(echo $DISTRIB_ID|awk '"'{print tolower("'$0'")}'"' );\ cd "$COPS_ROOT";\ sed -i "/extraheader/ d" .git/config;\ diff --git a/docker/corpusops/centos:7-2.10 b/docker/corpusops/centos:7-2.10 index f16ef7c4..2c4d63dd 100644 --- a/docker/corpusops/centos:7-2.10 +++ b/docker/corpusops/centos:7-2.10 @@ -205,6 +205,7 @@ RUN bash -c 'step_rev=3;set -e;cd $COPS_ROOT;\ rm -f /usr/bin/docker-runc; \ rm -f /usr/bin/dockerd; \ fi; \ + for i in /root/.local;do rm -rf $i || true;done;\ export LDISTRIB_ID=$(echo $DISTRIB_ID|awk '"'{print tolower("'$0'")}'"' );\ cd "$COPS_ROOT";\ sed -i "/extraheader/ d" .git/config;\ diff --git a/docker/corpusops/centos:7-2.9 b/docker/corpusops/centos:7-2.9 index f65a1d4e..35050e2c 100644 --- a/docker/corpusops/centos:7-2.9 +++ b/docker/corpusops/centos:7-2.9 @@ -205,6 +205,7 @@ RUN bash -c 'step_rev=3;set -e;cd $COPS_ROOT;\ rm -f /usr/bin/docker-runc; \ rm -f /usr/bin/dockerd; \ fi; \ + for i in /root/.local;do rm -rf $i || true;done;\ export LDISTRIB_ID=$(echo $DISTRIB_ID|awk '"'{print tolower("'$0'")}'"' );\ cd "$COPS_ROOT";\ sed -i "/extraheader/ d" .git/config;\ diff --git a/docker/corpusops/debian:bullseye-2.10 b/docker/corpusops/debian:bullseye-2.10 index 44954d75..d2120a52 100644 --- a/docker/corpusops/debian:bullseye-2.10 +++ b/docker/corpusops/debian:bullseye-2.10 @@ -205,6 +205,7 @@ RUN bash -c 'step_rev=3;set -e;cd $COPS_ROOT;\ rm -f /usr/bin/docker-runc; \ rm -f /usr/bin/dockerd; \ fi; \ + for i in /root/.local;do rm -rf $i || true;done;\ export LDISTRIB_ID=$(echo $DISTRIB_ID|awk '"'{print tolower("'$0'")}'"' );\ cd "$COPS_ROOT";\ sed -i "/extraheader/ d" .git/config;\ diff --git a/docker/corpusops/debian:bullseye-2.9 b/docker/corpusops/debian:bullseye-2.9 index b1f97f53..91b123d4 100644 --- a/docker/corpusops/debian:bullseye-2.9 +++ b/docker/corpusops/debian:bullseye-2.9 @@ -205,6 +205,7 @@ RUN bash -c 'step_rev=3;set -e;cd $COPS_ROOT;\ rm -f /usr/bin/docker-runc; \ rm -f /usr/bin/dockerd; \ fi; \ + for i in /root/.local;do rm -rf $i || true;done;\ export LDISTRIB_ID=$(echo $DISTRIB_ID|awk '"'{print tolower("'$0'")}'"' );\ cd "$COPS_ROOT";\ sed -i "/extraheader/ d" .git/config;\ diff --git a/docker/corpusops/debian:buster-2.10 b/docker/corpusops/debian:buster-2.10 index 552828d9..5cd8094e 100644 --- a/docker/corpusops/debian:buster-2.10 +++ b/docker/corpusops/debian:buster-2.10 @@ -205,6 +205,7 @@ RUN bash -c 'step_rev=3;set -e;cd $COPS_ROOT;\ rm -f /usr/bin/docker-runc; \ rm -f /usr/bin/dockerd; \ fi; \ + for i in /root/.local;do rm -rf $i || true;done;\ export LDISTRIB_ID=$(echo $DISTRIB_ID|awk '"'{print tolower("'$0'")}'"' );\ cd "$COPS_ROOT";\ sed -i "/extraheader/ d" .git/config;\ diff --git a/docker/corpusops/debian:buster-2.9 b/docker/corpusops/debian:buster-2.9 index ecbb9037..e5e7bb6d 100644 --- a/docker/corpusops/debian:buster-2.9 +++ b/docker/corpusops/debian:buster-2.9 @@ -205,6 +205,7 @@ RUN bash -c 'step_rev=3;set -e;cd $COPS_ROOT;\ rm -f /usr/bin/docker-runc; \ rm -f /usr/bin/dockerd; \ fi; \ + for i in /root/.local;do rm -rf $i || true;done;\ export LDISTRIB_ID=$(echo $DISTRIB_ID|awk '"'{print tolower("'$0'")}'"' );\ cd "$COPS_ROOT";\ sed -i "/extraheader/ d" .git/config;\ diff --git a/docker/corpusops/debian:latest-2.10 b/docker/corpusops/debian:latest-2.10 index 9fd9c004..b0d1a544 100644 --- a/docker/corpusops/debian:latest-2.10 +++ b/docker/corpusops/debian:latest-2.10 @@ -205,6 +205,7 @@ RUN bash -c 'step_rev=3;set -e;cd $COPS_ROOT;\ rm -f /usr/bin/docker-runc; \ rm -f /usr/bin/dockerd; \ fi; \ + for i in /root/.local;do rm -rf $i || true;done;\ export LDISTRIB_ID=$(echo $DISTRIB_ID|awk '"'{print tolower("'$0'")}'"' );\ cd "$COPS_ROOT";\ sed -i "/extraheader/ d" .git/config;\ diff --git a/docker/corpusops/debian:latest-2.9 b/docker/corpusops/debian:latest-2.9 index 999d7a80..96c44a2a 100644 --- a/docker/corpusops/debian:latest-2.9 +++ b/docker/corpusops/debian:latest-2.9 @@ -205,6 +205,7 @@ RUN bash -c 'step_rev=3;set -e;cd $COPS_ROOT;\ rm -f /usr/bin/docker-runc; \ rm -f /usr/bin/dockerd; \ fi; \ + for i in /root/.local;do rm -rf $i || true;done;\ export LDISTRIB_ID=$(echo $DISTRIB_ID|awk '"'{print tolower("'$0'")}'"' );\ cd "$COPS_ROOT";\ sed -i "/extraheader/ d" .git/config;\ diff --git a/docker/corpusops/debian:sid-2.10 b/docker/corpusops/debian:sid-2.10 index 7c0cef03..2ff7eac2 100644 --- a/docker/corpusops/debian:sid-2.10 +++ b/docker/corpusops/debian:sid-2.10 @@ -205,6 +205,7 @@ RUN bash -c 'step_rev=3;set -e;cd $COPS_ROOT;\ rm -f /usr/bin/docker-runc; \ rm -f /usr/bin/dockerd; \ fi; \ + for i in /root/.local;do rm -rf $i || true;done;\ export LDISTRIB_ID=$(echo $DISTRIB_ID|awk '"'{print tolower("'$0'")}'"' );\ cd "$COPS_ROOT";\ sed -i "/extraheader/ d" .git/config;\ diff --git a/docker/corpusops/debian:sid-2.9 b/docker/corpusops/debian:sid-2.9 index 7d9cd36e..95427482 100644 --- a/docker/corpusops/debian:sid-2.9 +++ b/docker/corpusops/debian:sid-2.9 @@ -205,6 +205,7 @@ RUN bash -c 'step_rev=3;set -e;cd $COPS_ROOT;\ rm -f /usr/bin/docker-runc; \ rm -f /usr/bin/dockerd; \ fi; \ + for i in /root/.local;do rm -rf $i || true;done;\ export LDISTRIB_ID=$(echo $DISTRIB_ID|awk '"'{print tolower("'$0'")}'"' );\ cd "$COPS_ROOT";\ sed -i "/extraheader/ d" .git/config;\ diff --git a/docker/corpusops/ubuntu:14.04-2.10 b/docker/corpusops/ubuntu:14.04-2.10 index 12342993..a859a28e 100644 --- a/docker/corpusops/ubuntu:14.04-2.10 +++ b/docker/corpusops/ubuntu:14.04-2.10 @@ -205,6 +205,7 @@ RUN bash -c 'step_rev=3;set -e;cd $COPS_ROOT;\ rm -f /usr/bin/docker-runc; \ rm -f /usr/bin/dockerd; \ fi; \ + for i in /root/.local;do rm -rf $i || true;done;\ export LDISTRIB_ID=$(echo $DISTRIB_ID|awk '"'{print tolower("'$0'")}'"' );\ cd "$COPS_ROOT";\ sed -i "/extraheader/ d" .git/config;\ diff --git a/docker/corpusops/ubuntu:14.04-2.9 b/docker/corpusops/ubuntu:14.04-2.9 index ee4ce507..7d1472fb 100644 --- a/docker/corpusops/ubuntu:14.04-2.9 +++ b/docker/corpusops/ubuntu:14.04-2.9 @@ -205,6 +205,7 @@ RUN bash -c 'step_rev=3;set -e;cd $COPS_ROOT;\ rm -f /usr/bin/docker-runc; \ rm -f /usr/bin/dockerd; \ fi; \ + for i in /root/.local;do rm -rf $i || true;done;\ export LDISTRIB_ID=$(echo $DISTRIB_ID|awk '"'{print tolower("'$0'")}'"' );\ cd "$COPS_ROOT";\ sed -i "/extraheader/ d" .git/config;\ diff --git a/docker/corpusops/ubuntu:16.04-2.10 b/docker/corpusops/ubuntu:16.04-2.10 index 5167f6b8..3f16775a 100644 --- a/docker/corpusops/ubuntu:16.04-2.10 +++ b/docker/corpusops/ubuntu:16.04-2.10 @@ -205,6 +205,7 @@ RUN bash -c 'step_rev=3;set -e;cd $COPS_ROOT;\ rm -f /usr/bin/docker-runc; \ rm -f /usr/bin/dockerd; \ fi; \ + for i in /root/.local;do rm -rf $i || true;done;\ export LDISTRIB_ID=$(echo $DISTRIB_ID|awk '"'{print tolower("'$0'")}'"' );\ cd "$COPS_ROOT";\ sed -i "/extraheader/ d" .git/config;\ diff --git a/docker/corpusops/ubuntu:16.04-2.9 b/docker/corpusops/ubuntu:16.04-2.9 index af944c7a..706f65cd 100644 --- a/docker/corpusops/ubuntu:16.04-2.9 +++ b/docker/corpusops/ubuntu:16.04-2.9 @@ -205,6 +205,7 @@ RUN bash -c 'step_rev=3;set -e;cd $COPS_ROOT;\ rm -f /usr/bin/docker-runc; \ rm -f /usr/bin/dockerd; \ fi; \ + for i in /root/.local;do rm -rf $i || true;done;\ export LDISTRIB_ID=$(echo $DISTRIB_ID|awk '"'{print tolower("'$0'")}'"' );\ cd "$COPS_ROOT";\ sed -i "/extraheader/ d" .git/config;\ diff --git a/docker/corpusops/ubuntu:18.04-2.10 b/docker/corpusops/ubuntu:18.04-2.10 index a2bc70ca..0afeb68d 100644 --- a/docker/corpusops/ubuntu:18.04-2.10 +++ b/docker/corpusops/ubuntu:18.04-2.10 @@ -205,6 +205,7 @@ RUN bash -c 'step_rev=3;set -e;cd $COPS_ROOT;\ rm -f /usr/bin/docker-runc; \ rm -f /usr/bin/dockerd; \ fi; \ + for i in /root/.local;do rm -rf $i || true;done;\ export LDISTRIB_ID=$(echo $DISTRIB_ID|awk '"'{print tolower("'$0'")}'"' );\ cd "$COPS_ROOT";\ sed -i "/extraheader/ d" .git/config;\ diff --git a/docker/corpusops/ubuntu:18.04-2.9 b/docker/corpusops/ubuntu:18.04-2.9 index 3b0dabec..958ee8ad 100644 --- a/docker/corpusops/ubuntu:18.04-2.9 +++ b/docker/corpusops/ubuntu:18.04-2.9 @@ -205,6 +205,7 @@ RUN bash -c 'step_rev=3;set -e;cd $COPS_ROOT;\ rm -f /usr/bin/docker-runc; \ rm -f /usr/bin/dockerd; \ fi; \ + for i in /root/.local;do rm -rf $i || true;done;\ export LDISTRIB_ID=$(echo $DISTRIB_ID|awk '"'{print tolower("'$0'")}'"' );\ cd "$COPS_ROOT";\ sed -i "/extraheader/ d" .git/config;\ diff --git a/docker/corpusops/ubuntu:20.04-2.10 b/docker/corpusops/ubuntu:20.04-2.10 index 582a7ed8..c455bc6d 100644 --- a/docker/corpusops/ubuntu:20.04-2.10 +++ b/docker/corpusops/ubuntu:20.04-2.10 @@ -205,6 +205,7 @@ RUN bash -c 'step_rev=3;set -e;cd $COPS_ROOT;\ rm -f /usr/bin/docker-runc; \ rm -f /usr/bin/dockerd; \ fi; \ + for i in /root/.local;do rm -rf $i || true;done;\ export LDISTRIB_ID=$(echo $DISTRIB_ID|awk '"'{print tolower("'$0'")}'"' );\ cd "$COPS_ROOT";\ sed -i "/extraheader/ d" .git/config;\ diff --git a/docker/corpusops/ubuntu:20.04-2.9 b/docker/corpusops/ubuntu:20.04-2.9 index d7f2b23c..77a47502 100644 --- a/docker/corpusops/ubuntu:20.04-2.9 +++ b/docker/corpusops/ubuntu:20.04-2.9 @@ -205,6 +205,7 @@ RUN bash -c 'step_rev=3;set -e;cd $COPS_ROOT;\ rm -f /usr/bin/docker-runc; \ rm -f /usr/bin/dockerd; \ fi; \ + for i in /root/.local;do rm -rf $i || true;done;\ export LDISTRIB_ID=$(echo $DISTRIB_ID|awk '"'{print tolower("'$0'")}'"' );\ cd "$COPS_ROOT";\ sed -i "/extraheader/ d" .git/config;\ diff --git a/docker/corpusops/ubuntu:22.04-2.10 b/docker/corpusops/ubuntu:22.04-2.10 index bae017da..4c8c7596 100644 --- a/docker/corpusops/ubuntu:22.04-2.10 +++ b/docker/corpusops/ubuntu:22.04-2.10 @@ -205,6 +205,7 @@ RUN bash -c 'step_rev=3;set -e;cd $COPS_ROOT;\ rm -f /usr/bin/docker-runc; \ rm -f /usr/bin/dockerd; \ fi; \ + for i in /root/.local;do rm -rf $i || true;done;\ export LDISTRIB_ID=$(echo $DISTRIB_ID|awk '"'{print tolower("'$0'")}'"' );\ cd "$COPS_ROOT";\ sed -i "/extraheader/ d" .git/config;\ diff --git a/docker/corpusops/ubuntu:22.04-2.9 b/docker/corpusops/ubuntu:22.04-2.9 index 6603ea3c..0845ae5a 100644 --- a/docker/corpusops/ubuntu:22.04-2.9 +++ b/docker/corpusops/ubuntu:22.04-2.9 @@ -205,6 +205,7 @@ RUN bash -c 'step_rev=3;set -e;cd $COPS_ROOT;\ rm -f /usr/bin/docker-runc; \ rm -f /usr/bin/dockerd; \ fi; \ + for i in /root/.local;do rm -rf $i || true;done;\ export LDISTRIB_ID=$(echo $DISTRIB_ID|awk '"'{print tolower("'$0'")}'"' );\ cd "$COPS_ROOT";\ sed -i "/extraheader/ d" .git/config;\ diff --git a/docker/corpusops/ubuntu:latest-2.10 b/docker/corpusops/ubuntu:latest-2.10 index 5ee1acb3..05dc5f9a 100644 --- a/docker/corpusops/ubuntu:latest-2.10 +++ b/docker/corpusops/ubuntu:latest-2.10 @@ -205,6 +205,7 @@ RUN bash -c 'step_rev=3;set -e;cd $COPS_ROOT;\ rm -f /usr/bin/docker-runc; \ rm -f /usr/bin/dockerd; \ fi; \ + for i in /root/.local;do rm -rf $i || true;done;\ export LDISTRIB_ID=$(echo $DISTRIB_ID|awk '"'{print tolower("'$0'")}'"' );\ cd "$COPS_ROOT";\ sed -i "/extraheader/ d" .git/config;\ diff --git a/docker/corpusops/ubuntu:latest-2.9 b/docker/corpusops/ubuntu:latest-2.9 index 3c6eabf7..6cb93611 100644 --- a/docker/corpusops/ubuntu:latest-2.9 +++ b/docker/corpusops/ubuntu:latest-2.9 @@ -205,6 +205,7 @@ RUN bash -c 'step_rev=3;set -e;cd $COPS_ROOT;\ rm -f /usr/bin/docker-runc; \ rm -f /usr/bin/dockerd; \ fi; \ + for i in /root/.local;do rm -rf $i || true;done;\ export LDISTRIB_ID=$(echo $DISTRIB_ID|awk '"'{print tolower("'$0'")}'"' );\ cd "$COPS_ROOT";\ sed -i "/extraheader/ d" .git/config;\ diff --git a/hacking/Dockerfile.in b/hacking/Dockerfile.in index 5b0c9941..ed092eca 100644 --- a/hacking/Dockerfile.in +++ b/hacking/Dockerfile.in @@ -206,6 +206,7 @@ RUN bash -c 'step_rev=3;set -e;cd $COPS_ROOT;\ rm -f /usr/bin/docker-runc; \ rm -f /usr/bin/dockerd; \ fi; \ + for i in /root/.local;do rm -rf $i || true;done;\ export LDISTRIB_ID=$(echo $DISTRIB_ID|awk '"'{print tolower("'$0'")}'"' );\ cd "$COPS_ROOT";\ sed -i "/extraheader/ d" .git/config;\