in reply to How to run a command, gather its output and kill it after a specified time?
Thank you, JavaFan! Of course, moritz already gave the right suggestion, but I was as stubborn as the shell in question in not understanding what he said. :)
My sincere thanks for the answer, and for having the necessary patience to repeat it for me.
DejaVu Sans Mono
Droid Sans Mono
Envy Code R
Source Code Pro
The default, whatever it is
Results (118 votes). Check out past polls.