Merge pull request #2 from tensor4all/terasaki/add-scripts

Terasaki/add scripts

.github/workflows/ExportPluto.yaml

@@ -42,15 +42,15 @@ jobs:
                   restore-keys: |
                       ${{ runner.os }}-pluto_state_cache-v2-${{ hashFiles('**/Project.toml', '**/Manifest.toml', '.github/workflows/*' ) }}
 
-
+            - name: Instantiate
+              run: |
+                julia --project -e 'using Pkg; Pkg.instantiate()'
+            - name:
+              run: |
+                julia --project scripts/generate_index.jl
             - name: Run & export Pluto notebooks
               run: |
-                julia -e 'using Pkg
-                  Pkg.activate(mktempdir())
-                  Pkg.add([
-                    Pkg.PackageSpec(name="PlutoSliderServer", version="0.3.2-0.3"),
-                  ])
-
+                julia --project -e '
                   import PlutoSliderServer
 
                   PlutoSliderServer.github_action("./pluto_notebooks";

.gitignore

@@ -0,0 +1,2 @@
+*.html
+pluto_notebooks/pluto_export.json

scripts/export_directory.jl

@@ -0,0 +1,5 @@
+using PlutoSliderServer
+
+pluto_notebooks = joinpath(dirname(@__DIR__), "pluto_notebooks")
+
+PlutoSliderServer.export_directory(pluto_notebooks)

scripts/generate_index.jl

@@ -0,0 +1,58 @@
+function extract_title(filepath::AbstractString)
+    lines = read(filepath, String)
+
+    title = ""
+    searchingmd = false
+    foundtitle = false
+
+    for l in split(lines, "\n")
+        foundtitle && break
+        if !isnothing(match(r"md\"\"\"", l))
+            searchingmd = true
+            continue
+        end
+
+        if searchingmd
+            m = match(r"#\s*", l)
+            if !isnothing(m)
+                title_ = lstrip(l[nextind(l, m.offset + 1):end])
+                title = replace(title_, r"\"\"\"" => "")
+                foundtitle = true
+            end
+        end
+
+        if searchingmd
+            isnothing(match(r"\"\"\"", l))
+            searchingmd = false
+        end
+    end
+    if isempty(title)
+        @warn "Couldn't find title. Using file name as title"
+        title = basename(file)
+    end
+    return title
+end
+
+const PLUTO_NOTEBOOKS_DIR = joinpath(dirname(@__DIR__), "pluto_notebooks")
+
+const PLUTO_FILE_NAMES = [
+    "welcome.jl",
+    "quantics1d.jl",
+    "quantics1d_advanced.jl",
+    "compress.jl",
+    "interfacingwithitensors.jl",
+    "quantics2d.jl",
+    "plots.jl",
+    "qft.jl",
+]
+
+open(joinpath(PLUTO_NOTEBOOKS_DIR, "index.md"), "w") do io
+    write(io, "# Notebooks\n")
+
+    for f in PLUTO_FILE_NAMES
+        title = extract_title(joinpath(PLUTO_NOTEBOOKS_DIR, f))
+        link = splitext(basename(f))[begin] * ".html"
+        @show title
+        write(io, "- [$(title)]($link)\n")
+    end
+end