On Thu, Jun 23, 2011 at 7:46 AM, Ralf Mardorf
Since being berated for my own "useless uses of cat" I've made it a
personal goal to condense my command line usage to the shortest, most
elegant form possible.
But anyways, "grep PREEMPT config-18.104.22.168" will give you the same
results, spare precious CPU cycles for audio, and reduce the risk of
Linux-audio-user mailing list