#!/usr/bin/env bash

extra_pathnames=$(ls -1 save-dir-"$basename" | egrep -v '^summaries$|^chunks$|^files$|^hardlinks$' || true)

if [ "$extra_pathnames" != "" ]
then
	echo "$0: Excess pathname(s): $extra_pathnames" 1>&2
	exit 1
fi