Fix Plots segfaults when generating demos (#227)

johnnychen94 · web-flow · commit 8f2ad221e711 · 2021-09-05T14:59:23.000+08:00
* loading Plots before calling makedemos

* disable notebook generation
diff --git a/docs/demos/config.json b/docs/demos/config.json
@@ -1,4 +1,7 @@
 {
     "title": "Examples",
-    "theme": "grid"
+    "theme": "grid",
+    "properties":{
+        "notebook": "false"
+    }
 }
diff --git a/docs/make.jl b/docs/make.jl
@@ -1,5 +1,9 @@
 using Documenter, DemoCards
 using ImageFiltering
+# loading Plots before generating demos (might be helpful to avoid segfaults)
+using Plots
+ENV["GKSwstype"] = "nul" # needed for the GR backend on headless servers
+gr()
 
 demos, demos_cb, demos_assets = makedemos("demos")
 
