Skip to content

Commit

Permalink
improved printResourceInformation.sh script to not copy data into fol…
Browse files Browse the repository at this point in the history
…ders relative to the working directory
  • Loading branch information
jzell committed Apr 17, 2013
1 parent a69433f commit 5fed6e0
Showing 1 changed file with 10 additions and 1 deletion.
11 changes: 10 additions & 1 deletion resources/printResourceInformation.sh
Original file line number Diff line number Diff line change
@@ -1,9 +1,18 @@
#!/bin/bash

if [ "$HEIDELTIME_HOME" = "" ] ; then
echo "please set \$HEIDELTIME_HOME"
exit -1
fi

PWD=$(pwd)
cd $HEIDELTIME_HOME/resources

echo "Writing used_resources.txt"
find ./ -name "*.txt" > used_resources.txt

echo "Copying resources..."
cp -r * ../class/
cp -r $HEIDELTIME_HOME/resources/* $HEIDELTIME_HOME/class/

echo "done."
cd $PWD

0 comments on commit 5fed6e0

Please sign in to comment.