デフォルトのサーバーコマンドだけだと、誰に OP （オペレーター？）権限を与えるか、OP権限で何が出来るか、、、の設定しか出来ないっぽい。 ログインしたユーザーのデフォルトの権限とかも設定したいので、プラグインを導入した。 昔は PermissionEx が便…

依存を解決 Debian/Ubuntu: sudo apt-get install git openjdk-8-jre-headless とあるので、入れないとだめです。 Ubuntu 14.04 lts では、apt-get ではそのまま見つからなかったので、下記を行いました。 $ sudo add-apt-repository ppa:openjdk-r/ppa $ su…