Skip to content
Snippets Groups Projects
Commit 2a9ded97 authored by alangrafu's avatar alangrafu Committed by GIT_AUTHOR_NAME
Browse files

Merge branch 'master' into newNaming

parents 87a3198d e28547f7
No related branches found
No related tags found
No related merge requests found
#!/bin/bash
DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
USAGE="Usage: $0 create|delete uri|class|service foo [html|rdf|ttl|nt|json]"
formats=( html rdf ttl nt json all )
operations=( create delete )
modules=( class service uri )
......@@ -15,6 +15,7 @@ then
currentOperation=$1
else
echo "Operation \"$1\" not valid"
echo $USAGE
exit 1
fi
......@@ -23,6 +24,7 @@ then
currentModule=$2
else
echo "Module \"$2\" not valid"
echo $USAGE
exit 1
fi
......@@ -35,6 +37,7 @@ else
currentFormat="all"
else
echo "Format \"$4\" not valid"
echo $USAGE
exit 1
fi
fi
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment