diff --git a/scripts/list-container b/scripts/list-container new file mode 100755 index 00000000..b9bd2fbe --- /dev/null +++ b/scripts/list-container @@ -0,0 +1,12 @@ +#!/bin/bash + +set -eu +container="$1" +if [ $# -gt 1 ]; then + output="$2" +else + output=${container%.*}.filelist.gz +fi + +singularity exec "$container" find / -xdev 2>/dev/null | gzip -9 > $output +echo "I: listed $container into $output"