Drop the doubled word "the".
Signed-off-by: Randy Dunlap rdunlap@infradead.org Cc: Jonathan Corbet corbet@lwn.net Cc: linux-doc@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