23 Jun
2011
23 Jun
'11
3:33 p.m.
----- "Ralf Mardorf" <ralf.mardorf(a)alice-dsl.net> wrote:
$ less config-2.6.39.1 | grep PREEMPT
CONFIG_TREE_PREEMPT_RCU=y
CONFIG_PREEMPT_RCU=y
CONFIG_PREEMPT_NOTIFIERS=y
# CONFIG_PREEMPT_NONE is not set
# CONFIG_PREEMPT_VOLUNTARY is not set
CONFIG_PREEMPT=y
Is this better? Any thing that will replace 'grep'?
*?*
Really! Is there any valid reason not to use 'cat' to communicate the
wanted information? I didn't know the command 'less', but here it
seems
not to make any difference. Could there be any advantages for me not
using cat?
I'm not kidding! I wonder if there is any difference!
cat /dev/random
less /dev/random
see what happens
"less config-2.6.39.1 | grep PREEMPT" is
better said as "grep PREEMPT config-2.6.39.1" as already
mentioned.