tools/update web site

   1 #!/bin/bash
   2 cd "${0%/*}"; if [ "$1" != "T" ]; then xterm -e "'$0' T"; exit; fi;
   3
   4 (
   5     # TODO: needs updating
   6     #
   7     # cd ..
   8
   9     # mvn clean
  10
  11     # mkdir -p target/website/codegraphs
  12
  13     # mvn test package -e exec:java -Dexec.mainClass="eu.svjatoslav.sixth.DataGraph" -Dexec.classpathScope="test"
  14
  15     # (
  16     #     cd target/website/codegraphs/
  17     #     meviz index -t Sixth
  18     # )
  19
  20     # cp target/sixth.jar target/website/
  21
  22     # rsync -avz --delete target/website/ n0@svjatoslav.eu:/var/www/svjatoslav.eu/projects/sixth
  23 )
  24
  25 echo "Script finished. Press ENTER to close this terminal"
  26 read