How to use the Linux timeout command