-
-
Save funderburkjim/bd86c8adef3b78de489f1c4403d262fb to your computer and use it in GitHub Desktop.
download enviornment to xampp/htdocs/cologne/. Put this script in the cologne directory.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
# shell script takes a single argument, a dictionary code | |
# convert shell script argument to lower case | |
if [ ! $1 ]; then | |
echo "script requires a dictionary code as parameter" | |
echo "Usage: sh dictionary_init.sh <dictcode>" | |
echo "<dictcode> must be one of the dictionary codes" | |
echo "see http://www.sanskrit-lexicon.uni-koeln.de/" | |
exit 1 | |
fi | |
DICT=`echo $1 | tr '[:upper:]' '[:lower:]'` | |
if [ -d $DICT ]; then | |
# We require that a pre-existing directory '$DICT' be absent. | |
# We try to do this by saving an old version under a new name, | |
# but sometimes this may fail, for unknown reasons. | |
echo "directory $DICT exists" | |
DATE=`date +%Y%m%d` | |
#echo "date=$DATE" | |
SAVEDIR="$DICT-$DATE" | |
echo "moving directory $DICT to $SAVEDIR" | |
mv $DICT $SAVEDIR | |
# check for error | |
if [ $? -ne 0 ]; then | |
echo "ERROR moving directory $DICT to $SAVEDIR" | |
echo "Trying renaming the directory $DICT, then rerun" | |
exit 1 | |
fi | |
else | |
echo "directory $DICT DOES NOT exist" | |
echo "proceeding to initialize $DICT from the cloud" | |
fi | |
mkdir "$DICT" | |
cd "$DICT" | |
echo "downloading "$DICT"web1.zip ..." | |
curl -o "$DICT"web1.zip http://s3.amazonaws.com/sanskrit-lexicon/web1/"$DICT"web1.zip | |
unzip "$DICT"web1.zip | |
echo "downloading "$DICT"_pywork.zip ..." | |
curl -o "$DICT"_pywork.zip http://s3.amazonaws.com/sanskrit-lexicon/blobs/"$DICT"_pywork.zip | |
unzip "$DICT"_pywork.zip | |
echo "downloading "$DICT"_orig.zip ..." | |
curl -o "$DICT"_orig.zip http://s3.amazonaws.com/sanskrit-lexicon/blobs/"$DICT"_orig.zip | |
unzip "$DICT"_orig.zip | |
if [ $DICT = "mw" ]; then | |
echo "downloading mwaux for mw" | |
curl -o "$DICT"_mwaux.zip http://s3.amazonaws.com/sanskrit-lexicon/blobs/"$DICT"_mwaux.zip | |
unzip "$DICT"_mwaux.zip | |
fi | |
echo "You need to add a folder with sqlite3.exe to the 'path' variable" | |
echo "of the system environment variables" | |
echo "This is required to run, pywork/redo_xml.sh" |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment