# HG changeset patch
# User wenzelm
# Date 1636311887 -3600
# Node ID fa15929bdf83e65ebe9f30b3d44326c754332cc5
# Parent  33ed2eb06d680024c1692b150c7e891e9b9c8c68
no perl (amending 59ef23ac81ab);

diff -r 33ed2eb06d68 -r fa15929bdf83 src/Pure/Tools/build_docker.scala
--- a/src/Pure/Tools/build_docker.scala	Sun Nov 07 19:53:37 2021 +0100
+++ b/src/Pure/Tools/build_docker.scala	Sun Nov 07 20:04:47 2021 +0100
@@ -65,8 +65,8 @@
 """
 RUN tar xzf Isabelle.tar.gz && \
   mv """ + isabelle_name + """ Isabelle && \
-  perl -pi -e 's,ISABELLE_HOME_USER=.*,ISABELLE_HOME_USER="\$USER_HOME/.isabelle",g;' Isabelle/etc/settings && \
-  perl -pi -e 's,ISABELLE_LOGIC=.*,ISABELLE_LOGIC=""" + logic + """,g;' Isabelle/etc/settings && \
+  sed -i -e 's,ISABELLE_HOME_USER=.*,ISABELLE_HOME_USER="\$USER_HOME/.isabelle",g;' Isabelle/etc/settings && \
+  sed -i -e 's,ISABELLE_LOGIC=.*,ISABELLE_LOGIC=""" + logic + """,g;' Isabelle/etc/settings && \
   Isabelle/bin/isabelle build -o system_heaps -b """ + logic + """ && \
   rm Isabelle.tar.gz""" +
  (if (entrypoint) """