blob: 3d6648e3ebe10ed2da0995eec9cd70abbbc3786a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
#!/bin/sh
# Verify that "docker run" has a "--rm" in the same line or next line, so we
# don't fill up space on jenkins nodes with never deleted containers:
# https://osmocom.org/projects/osmocom-servers/wiki/Docker_cache_clean_up
RET=0
for i in $(git grep -l '^[^#]*docker run'); do
if [ -z "$(grep -A1 "docker run" "$i" | grep -- "--rm")" ]; then
echo "ERROR: missing --rm after 'docker run' (same line or next line):"
grep --color=always -H -n -A1 "docker run" "$i"
echo
RET=1
fi
done
exit $RET
|
