Skip to content

Instantly share code, notes, and snippets.

@seebi
Created January 17, 2014 12:45
Show Gist options
  • Save seebi/8472809 to your computer and use it in GitHub Desktop.
Save seebi/8472809 to your computer and use it in GitHub Desktop.
Makefile which you can link to a virtuoso db directory to run some virtuoso specific tasks
port=$(shell cat virtuoso.ini| grep ServerPort | grep 111 | head -1 | cut -d "=" -f 2 | tr -d ' ')
default:
@echo "start - start a virtuoso instance from this directory"
@echo "stop - shutdown the running server"
@echo "clean - delete all files except the config"
@echo "isql - start a virtuoso based isql shell"
@echo "log - tail the logfile"
log:
tail -f virtuoso.log
isql:
rlwrap ../../../../bin/isql -S ${port}
start:
../../../../bin/virtuoso-t virtuoso.ini +wait
stop:
echo "shutdown();" | ../../../../bin/isql -S $(port)
clean:
rm -f *.db *.log *.lck *.pxa *.trx
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment