diff --git a/install/install.sh b/install/install.sh new file mode 100644 index 0000000..e07fa85 --- /dev/null +++ b/install/install.sh @@ -0,0 +1,16 @@ +#!/bin/bash + +RDFLINT_LIB_DIR=$HOME/.local/share/rdflint +RDFLINT_BIN_DIR=$HOME/.local/bin + +RDFLINT_VERSION=$(curl -s https://jitpack.io/api/builds/com.github.imas/rdflint/latestOk | jq -r .version) +DOWNLOAD_URL=https://jitpack.io/com/github/imas/rdflint/${RDFLINT_VERSION}/rdflint-${RDFLINT_VERSION}.jar + +mkdir -p $RDFLINT_LIB_DIR +mkdir -p $RDFLINT_BIN_DIR +curl -s $DOWNLOAD_URL -o $RDFLINT_LIB_DIR/rdflint-${RDFLINT_VERSION}.jar + +echo "#!/bin/sh +exec java -jar ${RDFLINT_LIB_DIR}/rdflint-${RDFLINT_VERSION}.jar \"\$@\" +" > ${RDFLINT_BIN_DIR}/rdflint +chmod +x ${RDFLINT_BIN_DIR}/rdflint diff --git a/install/uninstall.sh b/install/uninstall.sh new file mode 100644 index 0000000..a68beac --- /dev/null +++ b/install/uninstall.sh @@ -0,0 +1,12 @@ +#!/bin/bash + +RDFLINT_LIB_DIR=$HOME/.local/share/rdflint +RDFLINT_BIN_DIR=$HOME/.local/bin + +rm -f $RDFLINT_BIN_DIR/rdflint +if [ -d $RDFLINT_LIB_DIR ]; then + for f in $(find ${RDFLINT_LIB_DIR} -name rdflint-*.jar); do + rm $f + done + rmdir $RDFLINT_LIB_DIR +fi