Guest User

Untitled

a guest
Jan 22nd, 2018
72
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.21 KB | None | 0 0
  1. #!/bin/sh
  2.  
  3. pushd `dirname $0`
  4. java -jar Tectonicus.jar config=config.xml
  5. mv output/{map,index}.html
  6. ## Copy final product onto a webserver somewhere
  7. # rsync -r --delete --rsh=ssh output/ myserver:public_html/map
  8. popd
Add Comment
Please, Sign In to add comment