# HG changeset patch
# User wenzelm
# Date 1624618374 -7200
# Node ID 2d42e52152b16c40298d9cbdf16905238f77925d
# Parent  ced6e3c0342563703007a654e8ab629952d57a77
proper directories after reinstallation of lxbroy10;

diff -r ced6e3c03425 -r 2d42e52152b1 Admin/etc/options
--- a/Admin/etc/options	Fri Jun 25 12:32:56 2021 +0200
+++ b/Admin/etc/options	Fri Jun 25 12:52:54 2021 +0200
@@ -5,10 +5,10 @@
 option isabelle_components_server : string = "lxbroy10.informatik.tu-muenchen.de"
   -- "user@host for SSH connection"
 
-option isabelle_components_dir : string = "/home/isabelle/components"
+option isabelle_components_dir : string = "/p/home/isabelle/components"
   -- "webspace for ISABELLE_COMPONENT_REPOSITORY"
 
-option isabelle_components_contrib_dir : string = "/home/isabelle/contrib"
+option isabelle_components_contrib_dir : string = "/p/home/isabelle/contrib"
   -- "unpacked components for remote build services"