1
0
mirror of https://github.com/balkian/gists.git synced 2024-11-21 17:22:29 +00:00
gists/Upload ontologies to GSI server/ontology.sh
J. Fernando Sánchez f48bab94dd Move files
2021-10-30 15:23:01 +02:00

31 lines
637 B
Bash

if [ $# -lt 1 ]
then
ONTO=onyx
else
ONTO=$1
fi
if [ $# -lt 2 ]
then
DIR=~/Doctorado/Ontologies/Onyx
else
DIR=$2
fi
if [ $# -lt 3 ]
then
REMOTE=gsi-web@web-home.dit.upm.es:lib/www/gsi/ontologies/
else
REMOTE=$3
fi
if [ $# -lt 4 ]
then
NS=http://www.gsi.dit.upm.es/ontologies/$ONTO/ns#
else
NS=$4
fi
echo "Generating docs for $ONTO from: $DIR"
echo "Namespace: $NS"
python specgen6.py --indir=$DIR --ns=$NS --prefix=$ONTO --ontofile=$ONTO.owl --outdir=$DIR/spec/latest --templatedir= --outfile=index.html
echo "Uploading to $REMOTE"
rsync -r --links --copy-unsafe-links $DIR/spec/ $REMOTE