diff options
| author | Randy Dunlap <rdunlap@infradead.org> | 2020-07-07 11:03:57 -0700 |
|---|---|---|
| committer | Jonathan Corbet <corbet@lwn.net> | 2020-07-13 09:44:05 -0600 |
| commit | 6566945f9c79f6993f0109fcff701b9751e1a9d6 (patch) | |
| tree | 347eb3841736c6515d0582aa1f4201d015afe84e /Documentation/core-api | |
| parent | 6fa9a5a23026e6839c2f490325c8fba16d33f23c (diff) | |
Documentation: printk-basics: eliminate duplicated word
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
Link: https://lore.kernel.org/r/20200707180414.10467-4-rdunlap@infradead.org
Signed-off-by: Jonathan Corbet <corbet@lwn.net>
Diffstat (limited to 'Documentation/core-api')
| -rw-r--r-- | Documentation/core-api/printk-basics.rst | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Documentation/core-api/printk-basics.rst b/Documentation/core-api/printk-basics.rst index 563a9ce5fe1d..965e4281eddd 100644 --- a/Documentation/core-api/printk-basics.rst +++ b/Documentation/core-api/printk-basics.rst @@ -69,7 +69,7 @@ You can check the current *console_loglevel* with:: 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 |