File tree Expand file tree Collapse file tree 1 file changed +11
-3
lines changed Expand file tree Collapse file tree 1 file changed +11
-3
lines changed Original file line number Diff line number Diff line change 1
- if ! isdir (" pluto-deployment-environment" )
1
+ if ! isdir (" pluto-deployment-environment" ) || length ( ARGS ) != 1
2
2
error ("""
3
3
Run me from the root of the repository directory, using:
4
4
5
- julia tools/generate_book.jl
5
+ julia tools/update_notebook_packages.jl <level>
6
+
7
+ Where <level> is one of: PATCH, MINOR, MAJOR
6
8
""" )
7
9
end
8
10
9
11
if VERSION < v " 1.6.0-aaa"
10
12
@error " Our website needs to be generated with Julia 1.6. Go to julialang.org/downloads to install it."
11
13
end
12
14
15
+ if length (ARGS ) != 1
16
+ @error " Usage: julia tools/generate_book.jl <path to PlutoPages.jl>"
17
+ end
18
+
13
19
import Pkg
14
20
Pkg. activate (" ./pluto-deployment-environment" )
15
21
Pkg. instantiate ()
25
31
26
32
all_notebooks = filter (Pluto. is_pluto_notebook, all_files_recursive)
27
33
34
+ level = getfield (Pkg, Symbol (" UPLEVEL_$(ARGS [1 ]) " ))
35
+
28
36
for n in all_notebooks
29
37
@info " Updating" n
30
- Pluto. update_notebook_environment (n)
38
+ Pluto. update_notebook_environment (n; backup = false , level )
31
39
end
You can’t perform that action at this time.
0 commit comments