Mercurial > hg > monetdb-java
annotate upload_jdbc_new.sh.in @ 238:d27f4ad1ca91 embedded
Added upload script
author | Pedro Ferreira <pedro.ferreira@monetdbsolutions.com> |
---|---|
date | Mon, 11 Jun 2018 18:16:38 +0200 (2018-06-11) |
parents | |
children |
rev | line source |
---|---|
238
d27f4ad1ca91
Added upload script
Pedro Ferreira <pedro.ferreira@monetdbsolutions.com>
parents:
diff
changeset
|
1 #!/bin/bash |
d27f4ad1ca91
Added upload script
Pedro Ferreira <pedro.ferreira@monetdbsolutions.com>
parents:
diff
changeset
|
2 |
d27f4ad1ca91
Added upload script
Pedro Ferreira <pedro.ferreira@monetdbsolutions.com>
parents:
diff
changeset
|
3 set -e |
d27f4ad1ca91
Added upload script
Pedro Ferreira <pedro.ferreira@monetdbsolutions.com>
parents:
diff
changeset
|
4 |
d27f4ad1ca91
Added upload script
Pedro Ferreira <pedro.ferreira@monetdbsolutions.com>
parents:
diff
changeset
|
5 function echo_and_exit { |
d27f4ad1ca91
Added upload script
Pedro Ferreira <pedro.ferreira@monetdbsolutions.com>
parents:
diff
changeset
|
6 echo $1 >&2 |
d27f4ad1ca91
Added upload script
Pedro Ferreira <pedro.ferreira@monetdbsolutions.com>
parents:
diff
changeset
|
7 exit 1 |
d27f4ad1ca91
Added upload script
Pedro Ferreira <pedro.ferreira@monetdbsolutions.com>
parents:
diff
changeset
|
8 } |
d27f4ad1ca91
Added upload script
Pedro Ferreira <pedro.ferreira@monetdbsolutions.com>
parents:
diff
changeset
|
9 |
d27f4ad1ca91
Added upload script
Pedro Ferreira <pedro.ferreira@monetdbsolutions.com>
parents:
diff
changeset
|
10 if [[ -z $JAVA_HOME ]] ; then |
d27f4ad1ca91
Added upload script
Pedro Ferreira <pedro.ferreira@monetdbsolutions.com>
parents:
diff
changeset
|
11 echo_and_exit "The JAVA_HOME directory must be set" |
d27f4ad1ca91
Added upload script
Pedro Ferreira <pedro.ferreira@monetdbsolutions.com>
parents:
diff
changeset
|
12 fi |
d27f4ad1ca91
Added upload script
Pedro Ferreira <pedro.ferreira@monetdbsolutions.com>
parents:
diff
changeset
|
13 |
d27f4ad1ca91
Added upload script
Pedro Ferreira <pedro.ferreira@monetdbsolutions.com>
parents:
diff
changeset
|
14 # Prepare the directory to upload to our website |
d27f4ad1ca91
Added upload script
Pedro Ferreira <pedro.ferreira@monetdbsolutions.com>
parents:
diff
changeset
|
15 mkdir synchronizing |
d27f4ad1ca91
Added upload script
Pedro Ferreira <pedro.ferreira@monetdbsolutions.com>
parents:
diff
changeset
|
16 # Move the monetdb-jdbc-new jar |
d27f4ad1ca91
Added upload script
Pedro Ferreira <pedro.ferreira@monetdbsolutions.com>
parents:
diff
changeset
|
17 mv jars/monetdb-jdbc-new-@JDBC_MAJOR@.@JDBC_MINOR@.jar synchronizing/monetdb-jdbc-new-@JDBC_MAJOR@.@JDBC_MINOR@.jar |
d27f4ad1ca91
Added upload script
Pedro Ferreira <pedro.ferreira@monetdbsolutions.com>
parents:
diff
changeset
|
18 # Rsync the library files to the monet.org machine |
d27f4ad1ca91
Added upload script
Pedro Ferreira <pedro.ferreira@monetdbsolutions.com>
parents:
diff
changeset
|
19 rsync -aqz --ignore-times synchronizing/* ferreira@monetdb.org:/var/www/html/downloads/Java-Experimental/ |
d27f4ad1ca91
Added upload script
Pedro Ferreira <pedro.ferreira@monetdbsolutions.com>
parents:
diff
changeset
|
20 # Remove it in the end |
d27f4ad1ca91
Added upload script
Pedro Ferreira <pedro.ferreira@monetdbsolutions.com>
parents:
diff
changeset
|
21 rm -rf synchronizing |