From 626e3509b63d2463a4ed75a60c20dd1731beb870 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?=CE=A0=CE=B1=CE=BD=CE=B1=CE=B3=CE=B9=CF=8E=CF=84=CE=B7?=
 =?UTF-8?q?=CF=82=20=CE=93=CE=B5=CF=89=CF=81=CE=B3=CE=B1=CE=BA=CF=8C=CF=80?=
 =?UTF-8?q?=CE=BF=CF=85=CE=BB=CE=BF=CF=82?= <pankgeorg@gmail.com>
Date: Tue, 29 Oct 2024 17:11:02 +0200
Subject: [PATCH] Update pluto_server_config.jl

In 1.11 we can instruct julia to use the existing pkgimages, but not make new ones.
---
 pluto_server_config.jl | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/pluto_server_config.jl b/pluto_server_config.jl
index 08ebd82..957c875 100644
--- a/pluto_server_config.jl
+++ b/pluto_server_config.jl
@@ -1,5 +1,5 @@
 (
-    pkgimages="no",
+    pkgimages="existing",
     optimize=1,
 
     require_secret_for_open_links=false,
@@ -9,4 +9,4 @@
     launch_browser=false,
     dismiss_update_notification=true,
     show_file_system=false,
-)
\ No newline at end of file
+)