特段意味は無い。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 }'
