#!/bin/bash
  
  . path.sh
  data_dir=data/ptb
  mkdir -p $data_dir
  echo "*** Downloading PTB text data ***"
  (
   data_path=https://raw.githubusercontent.com/townie/PTB-dataset-from-Tomas-Mikolov-s-webpage/master/data/
   cd $data_dir
   [ ! -f $data_dir/ptb.txt ] && wget -nv $data_path/ptb.train.txt || exit 1;
   mv ptb.train.txt ptb.txt
   [ ! -f $data_dir/dev.txt ] && wget -nv $data_path/ptb.valid.txt || exit 1;
   mv ptb.valid.txt dev.txt
   [ ! -f $data_dir/test.txt ] && wget -nv $data_path/ptb.test.txt || exit 1;
   mv ptb.test.txt test.txt
  )
  echo "*** Finished downloading PTB text data ***"