Skip to content
Snippets Groups Projects
Commit 503127ad authored by François  LAURENT's avatar François LAURENT
Browse files

--rm now default

parent 32e8a28b
No related branches found
No related tags found
1 merge request!8Set of commits to be tagged v0.16
Pipeline #106443 passed
......@@ -15,19 +15,21 @@ for _ in $(seq $#); do
;;
--no-rm)
without_rm=1
shift
;;
--rm)
# default since v0.16
shift
;;
*)
if [ "$1" = "--rm" ]; then
with_rm=1
fi
# note: if DOCKER_ARGS is externally defined, it must end with an explicit space
DOCKER_ARGS="${DOCKER_ARGS}$1 "
shift
esac
done
if [ -z "$with_rm" -a -z "$without_rm" ]; then
echo "Upcoming change: --rm will become default; pass --no-rm to maintain current behavior"
if [ -z "$without_rm" ]; then
DOCKER_ARGS="${DOCKER_ARGS}--rm "
fi
if [ -z "$docker" ]; then
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment