Generate a Pluto notebook

Author: flwyd

2023/.gitignore

@@ -1,2 +1,3 @@
 .cookie-jar
 out/
+*backup [0-9]*.jl

2023/Runner.jl

@@ -55,6 +55,16 @@ function expectedfor(inputfile)
   end
 end
 
+inputfiles(dir=pwd()) = readdir(sort=true) |> filter(x -> occursin(r"^input\..*\.txt$", x))
+
+function inputstats(dir=pwd())
+  for i in inputfiles()
+    expect = join(readlines(Runner.expectedfile(i)), " ")
+    count = length(readlines(i))
+    println("$i $count lines expected: $expect")
+  end
+end
+
 function format_seconds(sec)
   if sec >= 60 * 60
     (m, s) = divrem(sec, 60)

2023/generate.jl

@@ -7,6 +7,8 @@
 
 # Script to generate a skeletal Advent of Code solution in Julia.
 
+using UUIDs
+
 function generate_into(daydir)
   m = match(r"(\d+)$", daydir)
   if isnothing(m)
@@ -26,23 +28,26 @@ function generate_into(daydir)
     # Use of this source code is governed by an MIT-style
     # license that can be found in the LICENSE file or at
     # https://opensource.org/licenses/MIT.
-    #
-    # https://adventofcode.com/2023/day/$daynum
 
+    \"""# Advent of Code 2023 day $daynum
+    [Read the puzzle](https://adventofcode.com/2023/day/$daynum)
+    \"""
     module Day$daynum
 
     function part1(lines)
-      input = map(lines) do line
-        line
-      end
+      input = parseinput(lines)
       :TODO
     end
 
     function part2(lines)
-      input = map(lines) do line
+      input = parseinput(lines)
+      :TODO
+    end
+
+    function parseinput(lines)
+      map(lines) do line
         line
       end
-      :TODO
     end
 
     include("../Runner.jl")
@@ -52,8 +57,95 @@ function generate_into(daydir)
     write(jlfile, code)
     chmod(jlfile, 0o755)
   end
+
+  notebook = joinpath(base, "notebook.jl")
+  if !isfile(notebook)
+    header_uuid = UUIDs.uuid4()
+    preamble_uuid = UUIDs.uuid4()
+    inputstats_uuid = UUIDs.uuid4()
+    functions_uuid = UUIDs.uuid4()
+    vars_uuid = UUIDs.uuid4()
+    resultshead_uuid = UUIDs.uuid4()
+    results_uuid = UUIDs.uuid4()
+    code = """
+    ### A Pluto.jl notebook ###
+    # v0.19.32
+    #
+    # Copyright 2023 Google LLC
+    #
+    # Use of this source code is governed by an MIT-style
+    # license that can be found in the LICENSE file or at
+    # https://opensource.org/licenses/MIT.
+
+    using Markdown
+    using InteractiveUtils
+
+    # ╔═╡ $header_uuid
+    @doc Day$daynum
+
+    # ╔═╡ $preamble_uuid
+    begin
+      import Pkg
+      Pkg.activate()
+      try
+        @eval using Revise
+      catch e
+        @warn "Need to install Revise?" exception=(e)
+      end
+      using Day$daynum
+      using Runner
+      inputexample = "input.example.txt"
+      inputactual = "input.actual.txt"
+      run() = Runner.run_module(Day$daynum, Runner.inputfiles(); verbose=true)
+      println("Day$daynum ready, just run() or Day$daynum.part1(readlines(inputexample))")
+    end
+
+    # ╔═╡ $inputstats_uuid
+    Runner.inputstats();
+
+    # ╔═╡ $functions_uuid
+    begin
+    function parseinput(lines)
+      Day$daynum.parseinput(lines)
+      #map(lines) do line
+        #parse(Int, line)
+        #if (m = match(r"^(\\S+) (\\S+)\$", line)) !== nothing
+        #  (foo, bar) = m.captures
+        #end
+      #end
+    end
+    end;
+
+    # ╔═╡ $vars_uuid
+    begin # Useful variables
+    exampleexpected = Runner.expectedfor(inputexample)
+    examplelines = readlines(inputexample)
+    input = parseinput(examplelines)
+    end
+
+    # ╔═╡ $resultshead_uuid
+    md"## Results"
+
+    # ╔═╡ $results_uuid
+    Runner.run_module(Day$daynum, [
+    inputexample,
+    inputactual,
+    ], verbose=true)
+
+    # ╔═╡ Cell order:
+    # ╟─$header_uuid
+    # ╟─$preamble_uuid
+    # ╠═$inputstats_uuid
+    # ╠═$functions_uuid
+    # ╠═$vars_uuid
+    # ╟─$resultshead_uuid
+    # ╠═$results_uuid
+    """
+    write(notebook, code)
+  end
+
   mkinput(base, "example")
-  inputdir = joinpath(dirname(PROGRAM_FILE), "input", daynum)
+  inputdir = joinpath(@__DIR__, "input", daynum)
   mkpath(inputdir)
   mkinput(inputdir, "actual")
   for name in readdir(inputdir)

2023/pluto

@@ -0,0 +1,30 @@
+#!/bin/zsh
+# Copyright 2023 Google LLC
+#
+# Use of this source code is governed by an MIT-style
+# license that can be found in the LICENSE file or at
+# https://opensource.org/licenses/MIT.
+
+# Script to start Pluto and open a notebook in your web browser.
+# Usage: ./pluto day1
+
+set -e
+DAY=${1:?missing day}
+cd $DAY
+export JULIA_LOAD_PATH=".:..:$JULIA_LOAD_PATH"
+plutoargs=('notebook="notebook.jl"' 'dismiss_update_notification=true')
+
+if [[ ! -z $SSH_CONNECTION ]]; then
+  # need to pick our own port in order to use root_url, see
+  # https://github.com/fonsp/Pluto.jl/issues/2729
+  ((PORT=1234))
+  while nc -z localhost $PORT >& /dev/null ; do
+    PORT+=1
+  done
+  plutoargs+=('launch_browser=false' \
+    'host="0.0.0.0"' "port=$PORT" \
+    "root_url=\"http://$(hostname):$PORT/\"")
+fi
+
+echo "Launching Pluto for $DAY"
+exec julia -e "import Pluto; Pluto.run(${(j:, :)plutoargs})"

2023/repl

@@ -34,17 +34,9 @@ using $MODULE
 using Runner
 inputexample = "input.example.txt"
 inputactual = "input.actual.txt"
-inputfiles() = readdir(sort=true) |> filter(x -> occursin(r"^input\..*\.txt$", x))
-function inputstats()
-  for i in inputfiles()
-    expect = join(readlines(Runner.expectedfile(i)), " ")
-    count = length(readlines(i))
-    println("\$i \$count lines expected: \$expect")
-  end
-end
-run() = Runner.run_module($MODULE, inputfiles(); verbose=true)
-inputstats()
-println("$MODULE ready, just run() or $MODULE.part1(readlines(inputexample))")
+run() = Runner.run_module($MODULE, Runner.inputfiles(); verbose=true)
+Runner.inputstats()
+println("$MODULE, just run() or $MODULE.part1(readlines(inputexample))")
 EOT
 
 exec julia -e "$STARTUP" -i