Convert newlines on all terminal (tty) devices by default

Applications can reduce their ROM usage by replacing "\r\n" by "\n".
2020-04-29 16:00:03 +01:00 · 2020-04-29 16:00:03 +01:00 · 5cb7bd5cca
parent 4f9d21b16a
commit 5cb7bd5cca
1 changed files with 2 additions and 2 deletions
--- a/platform/mbed_lib.json
+++ b/platform/mbed_lib.json
@ -3,12 +3,12 @@
    "config": {
        "stdio-convert-newlines": {
            "help": "Enable conversion to standard newlines on stdin/stdout/stderr",
-            "value": false
+            "value": true
        },

        "stdio-convert-tty-newlines": {
            "help": "Enable conversion to standard newlines on any tty FILE stream",
-            "value": false
+            "value": true
        },

        "stdio-buffered-serial": {