by shigemk2

当面は技術的なことしか書かない

ENSIMEのプロセス番号を眺めるだけのコマンド

特段意味は無い。ENSIMEが重すぎてどうにもならないときにキルプロセスするので、どれだったかなとか思いながら眺めるだけのコマンド。

#!/bin/bash
echo "ensime process: "
ps aux | grep -i ensime | grep -v grep | grep -v ensime-ps | awk '{ print $2 }'
echo "java process: "
ps aux | grep -i java | grep -v grep | grep -v ensime-ps | grep -v ensime | awk '{ print $2 }'