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 # (
   8 #     cd ..
   9
  10 #     mvn clean
  11
  12 #     mkdir -p target/website/codegraphs
  13
  14 #     mvn test package -e exec:java -Dexec.mainClass="eu.svjatoslav.sixth.DataGraph" -Dexec.classpathScope="test"
  15
  16 #     (
  17 #         cd target/website/codegraphs/
  18 #         meviz index -t Sixth
  19 #     )
  20
  21 #     cp target/sixth.jar target/website/
  22
  23 #     rsync -avz --delete target/website/ n0@svjatoslav.eu:/var/www/svjatoslav.eu/projects/sixth
  24 # )
  25
  26 echo "Script finished. Press ENTER to close this terminal"
  27 read