qol

2020-12-05 16:54:18 -08:00 · 2020-12-05 16:54:18 -08:00 · 789417a1ea
commit 789417a1ea
parent d9a80257f8
2 changed files with 7 additions and 1 deletions
--- a/web/console.html
+++ b/web/console.html
@ -12,6 +12,11 @@
    </script>
    <script src="./web/pyodide_dev.js"></script>
    <!--<script src="./raylet.js"></script>-->
+    <style>
+    .terminal {
+      --size: 2;
+    }
+    </style>
  </head>
  <body>
    <script>
@ -23,7 +28,7 @@
        var term = $('body').terminal(
          pushCode,
          {
-            greetings: "Welcome to the Pyodide terminal emulator 🐍",
+            greetings: "Python 3.8.2 (default, Dec  3 2020, 06:19:03) 🐍\n[Clang 6.0.1 (/b/s/w/ir/cache/git/chromium.googlesource.com-external-github.com",
            prompt: "[[;red;]>>> ]"
          }
        );
--- a/web/index.html
+++ b/web/index.html
@ -14,6 +14,7 @@
  <body>
    <h1>Clap if you believe in fairies...</h1>
    <h2 id="status">Status: starting...</h2>
+    <h3><a href="console.html" target="_blank">Open a console</a></h3>
    <div id="output">
    </div>
  </body>