no perl (amending 59ef23ac81ab);
authorwenzelm
Sun, 07 Nov 2021 20:04:47 +0100
changeset 75114 fa15929bdf83
parent 75113 33ed2eb06d68
child 75115 64b3d8d9bd10
child 75116 58ae06d382ee
no perl (amending 59ef23ac81ab);
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) """