Get consoleintr back on one page

8440dbfe · Austin Clements · 08eef9ea · 8440dbfe
--- a/console.c
+++ b/console.c
@@ -198,8 +198,7 @@ consoleintr(int (*getc)(void))
        consputc(BACKSPACE);
      }
      break;
-    case C('H'):  // Backspace
+    case C('H'): case '\x7f':  // Backspace
-    case '\x7f':
      if(input.e != input.w){
        input.e--;
        consputc(BACKSPACE);
@@ -207,9 +206,7 @@ consoleintr(int (*getc)(void))
      break;
    default:
      if(c != 0 && input.e-input.r < INPUT_BUF){
-        // The serial port produces 0x13, not 0x10
+        c = (c == '\r') ? '\n' : c;
-        if(c == '\r')
-          c = '\n';
        input.buf[input.e++ % INPUT_BUF] = c;
        consputc(c);
        if(c == '\n' || c == C('D') || input.e == input.r+INPUT_BUF){