-
Notifications
You must be signed in to change notification settings - Fork 2
/
console.html
37 lines (35 loc) · 1.1 KB
/
console.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
<!DOCTYPE html>
<html>
<head>
<title>Console</title>
<meta charset="utf-8"/>
<link href="/assets/application.css" media="all" rel="stylesheet" />
<link href="/assets/jquery-ui-1.11.4.custom.min.css" media="all" rel="stylesheet" />
<link href="/assets/scripts.css" media="all" rel="stylesheet" />
</head>
<body>
<script src="/assets/jquery-2.0.0.min.js"></script>
<script src="/assets/jquery-ui-1.11.4.custom.min.js"></script>
<script src="/assets/jquery.fullscreen-min.js"></script>
<script src="/assets/urlparam.js"></script>
<script src="/assets/utf8.js"></script>
<script src="/assets/term.js"></script>
<script src="/assets/showterm.js"></script>
<script src="/assets/application.js"></script>
<script>
(function() {
var dataFile = $.urlParam("data");
if (dataFile !== 0) {
$.get(dataFile, function(data) {
data.script = utf8.decode(atob(data.script));
$(document.body).showterm(data);
}).fail(function() {
alert("Failed to fetch '" + dataFile + "'");
});
} else {
alert("No 'data' URL-parameter supplied");
}
})();
</script>
</body>
</html>