Move files that match pattern while preserving origin directory information

move.sh

#!/bin/bash

####################################################################################
## Move files that match pattern while preserving origin directory information. 
## Run as follows: 
##
##  find non-incremental/ -type f -name "*.smt2" -exec ./move.sh "forall" {} \;
##
####################################################################################

PATTERN=$1
FILE=$2

BASENAME="${FILE##*/}"
DIRNAME=${FILE%/*}
FILE_MINUS_EXT=${FILE%*.*}
EXT="smt2"

TARGET_DIR="with-$PATTERN"

DESTINATION=${FILE_MINUS_EXT//\./}
DESTINATION=${DESTINATION//\//__}
DESTINATION="$TARGET_DIR/$DESTINATION.$EXT"

if grep -q $PATTERN $FILE ; then
        mkdir -p $TARGET_DIR;
        echo Found interesting file $FILE;
        mv $FILE $DESTINATION;
        echo Moving to $DESTINATION;
else
        echo Skipping file $FILE;
fi