Auto-push

2017-08-19 17:16:35 +02:00
parent e9d34f9af0
commit b028b1df5b
769 changed files with 509481 additions and 1 deletions
--- a/docfiles/script.html
+++ b/docfiles/script.html
@ -0,0 +1,74 @@
+<!DOCTYPE html>
+<html xmlns="http://www.w3.org/1999/xhtml" xmlns:og="http://ogp.me/ns#" xmlns:fb="http://www.facebook.com/2008/fbml">
+
+<head>
+    <meta charset="UTF-8">
+    <title>@name@</title>
+    <meta name="Description" content="@description@" />
+
+    <!-- @include meta.html -->
+    <!-- @include head.html -->
+
+    <link rel="alternate" type="application/json+oembed" href="@oembedurl@&format=json" />
+    <link rel="alternate" type="text/xml+oembed" href="@oembedurl@&format=xml" />
+</head>
+
+<body id='root' class='root'>
+
+
+    <!-- @include header.html -->
+    <!-- @include macros.html -->
+    <aside id=main-container class=box>
+        @BODY@
+    </aside>
+
+
+
+    <div class="ui main container mainbody">
+
+        @breadcrumb@
+
+        <!-- @include abuse.html -->
+        <h1 class="ui header">
+            <div class="ui content">
+                @title@ <a href="/@versionsuff@#pub:@id@" class="ui primary button">Edit</a>
+                <div class='sub header humantime' data-time="@time@">@humantime@</span>
+            </div>
+        </h1>
+        <p class="ui content description">
+            @description@
+        </p>
+
+        <div class="ui container">
+            <div style="position:relative;height:0;padding-bottom:70%;overflow:hidden;">
+                <iframe style="position:absolute;top:0;left:0;width:100%;height:100%;" src="/@versionsuff@#sandbox:@id@" sandbox="allow-popups allow-scripts allow-same-origin"
+                    frameborder="0"></iframe>
+            </div>
+        </div>
+
+        @body@
+
+        <div class="ui container segment">
+            <h4 class="description">Edit in <a href="https://code.visualstudio.com/">Visual Studio Code</a></h4>
+            <pre style="white-space: pre-wrap;">
+# open a shell and run these commands
+pxt extract @id@
+cd @dirname@
+code .</pre>
+            <p class="ui description">Do you need help installing the tools?
+                <a href="@theme_embedUrl@/code">Follow these instructions!</a></p>
+        </div>
+    </div>
+
+
+<script>
+const script = @JSON@;
+// do something with it
+</script>
+
+    <!-- @include footer.html -->
+    <!-- @include tracking.html -->
+
+</body>
+
+</html>