#!/bin/bash
# fixmetrics.sh - A small script to rename metric files so that GRTensor can
# find them on OSX
# 
# Usage: Place this file in the directory where GRTensor is installed. Make sure
#        it is executable, then run it.
#

cd metrics
echo "Renaming metric files: "

for i in *;
    do echo $i " -> ../metrics:"$i;
    cp $i "../metrics:"$i;
done;