Virtuosoが停止した際の再起動のためのコマンド

Virtuosoが停止した際の再起動のためのコマンドの備忘録です。誤りなどあるかもしれませんが、参考になりましたら幸いです。

virtuoso-tの確認

which virtuoso-t
> /usr/local/bin/virtuoso-t

virtuoso.iniの場所の確認

sudo find / -name virtuoso.ini
> ...
> /usr/local/var/lib/virtuoso/db/virtuoso.ini
> ...

lckファイルの削除と起動

sudo rm -rf /usr/local/var/lib/virtuoso/db/virtuoso.lck
sudo /usr/local/bin/virtuoso-t +configfile /usr/local/var/lib/virtuoso/db/virtuoso.ini