X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fscripts%2Finit.d%2Fetc_default_helm;h=4d06f941f0094de2e20e87e14f155d1353865270;hb=c5c48f3d3515f1dd95657245922ec1f340e17f70;hp=d6e8413106d01534961dcb4650ea174baf5a5b05;hpb=ab934e873165bf0e661c9e59fddf81714bcb32ff;p=helm.git diff --git a/helm/scripts/init.d/etc_default_helm b/helm/scripts/init.d/etc_default_helm index d6e841310..4d06f941f 100644 --- a/helm/scripts/init.d/etc_default_helm +++ b/helm/scripts/init.d/etc_default_helm @@ -12,7 +12,18 @@ DAEMONS=" # script used to define a good(TM) environment for daemons ENVSCRIPT="/projects/helm/shared/scripts/phd.rc" - # user which will own the daemons + # script used to load/unload uwobo predefined scripts +UWOBO_INIT_SCRIPT="/projects/helm/shared/scripts/init.d/loadPredefinedStylesheets.pl" + + # http getter cache dirs that need to be created at boot time +HTTP_GETTER_CACHE_DIRS=" + /projects/helm/shared/cache/library + /projects/helm/shared/cache/library/http_getter + /projects/helm/shared/cache/rdf_library + /projects/helm/shared/cache/rdf_library/http_getter +" + + # user which will own the daemons and the cache directories OWNER="sacerdot:helm" # vim: set ft=sh: