-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathshell.html
105 lines (100 loc) · 3.91 KB
/
shell.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
<!DOCTYPE html>
<html lang="en-us">
<head>
<meta charset="utf-8" />
<meta http-equiv="Content-Type" content="text/html; charset=utf-8" />
<title>Cython Shell</title>
<style>
{{{ SHELL_CSS }}}
</style>
</head>
<body>
<div class="spinner" id="spinner"></div>
<div class="emscripten" id="status">Downloading...</div>
<div class="emscripten">
<progress value="0" max="100" id="progress" hidden="1"></progress>
</div>
<textarea id="output" rows="8"></textarea>
<script type="text/javascript">
var statusElement = document.getElementById("status");
var progressElement = document.getElementById("progress");
var spinnerElement = document.getElementById("spinner");
var Module = {
print: (function () {
var element = document.getElementById("output");
if (element) element.value = ""; // clear browser cache
return (...args) => {
var text = args.join(" ");
// These replacements are necessary if you render to raw HTML
//text = text.replace(/&/g, "&");
//text = text.replace(/</g, "<");
//text = text.replace(/>/g, ">");
//text = text.replace('\n', '<br>', 'g');
console.log(text);
if (element) {
element.value += text + "\n";
element.scrollTop = element.scrollHeight; // focus on bottom
}
};
})(),
setStatus: (text) => {
Module.setStatus.last ??= { time: Date.now(), text: "" };
if (text === Module.setStatus.last.text) return;
var m = text.match(/([^(]+)\((\d+(\.\d+)?)\/(\d+)\)/);
var now = Date.now();
if (m && now - Module.setStatus.last.time < 30) return; // if this is a progress update, skip it if too soon
Module.setStatus.last.time = now;
Module.setStatus.last.text = text;
if (m) {
text = m[1];
progressElement.value = parseInt(m[2]) * 100;
progressElement.max = parseInt(m[4]) * 100;
progressElement.hidden = false;
spinnerElement.hidden = false;
} else {
progressElement.value = null;
progressElement.max = null;
progressElement.hidden = true;
if (!text) spinnerElement.style.display = "none";
}
statusElement.innerHTML = text;
},
totalDependencies: 0,
monitorRunDependencies: (left) => {
this.totalDependencies = Math.max(this.totalDependencies, left);
Module.setStatus(left ? "Preparing..." : "All downloads complete.");
},
};
Module.setStatus("Downloading...");
window.onerror = (event) => {
// TODO: do not warn on ok events like simulating an infinite loop or exitStatus
Module.setStatus("Exception thrown, see JavaScript console");
spinnerElement.style.display = "none";
Module.setStatus = (text) => {
if (text) console.error("[post-exception status] " + text);
};
};
Module.onRuntimeInitialized = () => {
const readBinary = (url) => {
// Not great, this is synchronous fetching. Produces a warning.
var xhr = new XMLHttpRequest();
xhr.overrideMimeType("text/plain; charset=x-user-defined");
xhr.open("GET", url, false);
xhr.send();
return Uint8Array.from(xhr.response, (c) => c.charCodeAt(0));
};
// Copy over the necessary files
const files = [
"usr/local/lib/python312.zip",
"usr/local/lib/python3.12/lib-dynload/.empty",
"usr/local/lib/python3.12/os.py",
];
Module.FS.mkdirTree("/usr/local/lib/python3.12/lib-dynload");
for (const file of files) {
Module.FS.writeFile(file, readBinary(file), { canOwn: true });
}
};
</script>
{{{ SCRIPT }}}
</body>
</html>