This file is indexed.

/usr/share/mozart/doc/system/node76.html is in mozart-doc 1.4.0-8ubuntu1.

This file is owned by root:root, with mode 0o644.

The actual contents of the file can be viewed below.

1
2
<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
<HTML><HEAD><TITLE>23.2 Environment Properties</TITLE><LINK href="ozdoc.css" rel="stylesheet" type="text/css"></HEAD><BODY><TABLE align="center" border="0" cellpadding="6" cellspacing="6" class="nav"><TR bgcolor="#DDDDDD"><TD><A href="node59.html#section.property.intro">&lt;&lt; Prev</A></TD><TD><A href="node58.html">- Up -</A></TD></TR></TABLE><DIV id="section.property.env"><H2><A name="section.property.env">23.2 Environment Properties</A></H2><P>Other miscellaneous properties characterize the environment in which Mozart is installed and runs. </P><TABLE align="center" bgcolor="#f0f0e0" id="table.prop.env"><TR valign="top"><TH><P>Property</P></TH><TH><P>Type</P></TH><TH><P>Description</P></TH></TR><TR valign="top"><TD><P><CODE>oz<SPAN class="keyword">.</SPAN>dotoz</CODE></P></TD><TD><P>VirtualString</P></TD><TD><P>user directory for personal customizations and packages. Initialized from <CODE>OZ_DOTOZ</CODE> or <CODE>OZDOTOZ</CODE>, or the default <CODE>~/.oz/1.3.0</CODE></P></TD></TR><TR valign="top"><TD><P><CODE>oz<SPAN class="keyword">.</SPAN>home</CODE></P></TD><TD><P>VirtualString</P></TD><TD><P>top directory of the mozart installation. Initialized from <CODE>OZ_HOME</CODE> or <CODE>OZHOME</CODE> or property <CODE>oz<SPAN class="keyword">.</SPAN>configure<SPAN class="keyword">.</SPAN>home</CODE></P></TD></TR><TR valign="top"><TD><P><CODE>oz<SPAN class="keyword">.</SPAN>search<SPAN class="keyword">.</SPAN>load</CODE></P></TD><TD><P>VirtualString</P></TD><TD><P>methods for resolving functors: initialized from <CODE>OZ_SEARCH_LOAD</CODE>, <CODE>OZ_LOAD</CODE> or <CODE>OZLOAD</CODE> (or a default)</P></TD></TR><TR valign="top"><TD><P><CODE>oz<SPAN class="keyword">.</SPAN>search<SPAN class="keyword">.</SPAN>path</CODE></P></TD><TD><P>VirtualString</P></TD><TD><P>where to search for includes: initialized from <CODE>OZ_SEARCH_PATH</CODE>, <CODE>OZ_PATH</CODE> or <CODE>OZPATH</CODE> (or a default)</P></TD></TR><TR valign="top"><TD><P><CODE>oz<SPAN class="keyword">.</SPAN>trace<SPAN class="keyword">.</SPAN>load</CODE></P></TD><TD><P>Bool</P></TD><TD><P>controls whether resolvers output tracing information</P></TD></TR><TR valign="top"><TD><P><CODE>path<SPAN class="keyword">.</SPAN>separator</CODE></P></TD><TD><P>Char</P></TD><TD><P>the character used as a search path separator for the current platform (<CODE>:</CODE> for Unix, and <CODE>;</CODE> for Windows)</P></TD></TR><TR valign="top"><TD><P><CODE>path<SPAN class="keyword">.</SPAN>escape</CODE></P></TD><TD><P>Char</P></TD><TD><P>the character used for escaping another character (usually backslash)</P></TD></TR><TR valign="top"><TD><P><CODE>user<SPAN class="keyword">.</SPAN>home</CODE></P></TD><TD><P>VirtualString</P></TD><TD><P>user home directory where applicable. Initialized from <CODE>HOME</CODE> (or otherwise from <CODE>HOMEDRIVE</CODE> and <CODE>HOMEPATH</CODE> on Windows)</P></TD></TR></TABLE><P> </P></DIV><TABLE align="center" border="0" cellpadding="6" cellspacing="6" class="nav"><TR bgcolor="#DDDDDD"><TD><A href="node59.html#section.property.intro">&lt;&lt; Prev</A></TD><TD><A href="node58.html">- Up -</A></TD></TR></TABLE><HR><ADDRESS><A href="http://www.ps.uni-sb.de/~duchier/">Denys&nbsp;Duchier</A>, <A href="http://www.ps.uni-sb.de/~kornstae/">Leif&nbsp;Kornstaedt</A>, <A href="http://www.ps.uni-sb.de/~homik/">Martin&nbsp;Homik</A>, <A href="http://www.ps.uni-sb.de/~tmueller/">Tobias&nbsp;Müller</A>, <A href="http://www.ps.uni-sb.de/~schulte/">Christian&nbsp;Schulte</A> and&nbsp;<A href="http://www.info.ucl.ac.be/~pvr">Peter&nbsp;Van Roy</A><BR><SPAN class="version">Version 1.4.0 (20110908185330)</SPAN></ADDRESS></BODY></HTML>