#!/bin/bash
if [ $# != 0 ]; then
  x=$1; shift; for i in $@; do x="$x $i"; done
  exec /usr/bin/find $ROOTDIR -follow -name "$x" -printf "\r%P"
else
  exec /usr/bin/find $ROOTDIR -follow -printf "\r%P"
fi
