Drop the doubled word "the". Signed-off-by: Randy Dunlap <rdun...@infradead.org> Cc: Jonathan Corbet <cor...@lwn.net> Cc: linux-...@vger.kernel.org --- Documentation/core-api/printk-basics.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-)
--- linux-next-20200701.orig/Documentation/core-api/printk-basics.rst +++ linux-next-20200701/Documentation/core-api/printk-basics.rst @@ -69,7 +69,7 @@ You can check the current *console_logle The result shows the *current*, *default*, *minimum* and *boot-time-default* log levels. -To change the current console_loglevel simply write the the desired level to +To change the current console_loglevel simply write the desired level to ``/proc/sys/kernel/printk``. For example, to print all messages to the console:: # echo 8 > /proc/sys/kernel/printk _______________________________________________ dri-devel mailing list dri-devel@lists.freedesktop.org https://lists.freedesktop.org/mailman/listinfo/dri-devel
