grip
grip copied to clipboard
Add server killing functionality
The ability to close all current grip servers from within grip e.g. grip --killall
if you are on linux, you can use pkill -f grip
This article may help: https://stackoverflow.com/questions/8987037/how-to-kill-all-processes-with-a-given-partial-name
if you are on linux, you can use pkill -f grip
Yes, but it would be nice if grip had built-in functionality that wrapped this.