From 0419046ca8d297ce141a042eccb8931713f60766 Mon Sep 17 00:00:00 2001
From: Paul Walker <paul@blacksun.org.uk>
Date: Tue, 2 Jun 2020 11:26:46 +0100
Subject: [PATCH] clean-docker: adjust for non-GNU

---
 bin/clean-docker | 12 ++++++++++--
 1 file changed, 10 insertions(+), 2 deletions(-)

diff --git a/bin/clean-docker b/bin/clean-docker
index 8034897..6a3a012 100755
--- a/bin/clean-docker
+++ b/bin/clean-docker
@@ -1,6 +1,14 @@
 #!/bin/sh
+if [ "$(xargs --version | grep GNU)" != "" ] ; then
+  echo GNU xargs
+  export XARGS_ARG="--no-run-if-empty"
+else
+  echo Not GNU xargs
+  export XARGS_ARG=""
+fi
+
 echo "Removing exited containers."
-docker ps -a | grep Exited | awk '{print $NF}' | xargs --no-run-if-empty docker rm
+docker ps -a | grep Exited | awk '{print $NF}' | xargs $XARGS_ARG docker rm
 
 echo "Removing unused images."
-docker images -q --filter "dangling=true" | xargs --no-run-if-empty docker rmi
+docker images -q --filter "dangling=true" | xargs $XARGS_ARG docker rmi