# [[killproc]] kill processes / CAUTION!!!
ps -elf | grep nauti | gawk '{print $4}' | xargs kill