restart_reqd bash function

I keep forgetting how