/usr/share/mozart/doc/tools/node15.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>7 Conversion of Pickles: convertTextPickle</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="node14.html#chapter.oztool"><< Prev</A></TD><TD><A href="index.html">- Up -</A></TD><TD><A href="idx.html#label19">Next >></A></TD></TR></TABLE><DIV id="chapter.convert"><H1><A name="chapter.convert">7 Conversion of Pickles: <CODE>convertTextPickle</CODE></A></H1><P> If you had saved data structures into pickles with Mozart 1.0.1, then you'll want to use them in newer releases of Mozart as well. The format of pickles has changed after 1.0.1, however. This command line utility can help you to convert pickles. Concerning limitations and how to overcome them, please refer to the <A href="../contrib/node5.html#chapter.compat">compat</A> module. </P><DL><DT><CODE>--help</CODE>, <CODE>-h</CODE>, <CODE>-?</CODE></DT><DD><P>Display information on legal options, then exit. </P></DD><DT><CODE>--in=</CODE><I>file</I>, <CODE>-i </CODE><I>file</I></DT><DD><P>Select the file from which to read a text pickle in old format. </P></DD><DT><CODE>--out=</CODE><I>file</I>, <CODE>-o </CODE><I>file</I></DT><DD><P>Select the file to which to write the converted pickle in new format. </P></DD></DL><P></P></DIV><TABLE align="center" border="0" cellpadding="6" cellspacing="6" class="nav"><TR bgcolor="#DDDDDD"><TD><A href="node14.html#chapter.oztool"><< Prev</A></TD><TD><A href="index.html">- Up -</A></TD><TD><A href="idx.html#label19">Next >></A></TD></TR></TABLE><HR><ADDRESS><A href="http://www.ps.uni-sb.de/~duchier/">Denys Duchier</A>, <A href="http://www.ps.uni-sb.de/~kornstae/">Leif Kornstaedt</A> and <A href="http://www.ps.uni-sb.de/~schulte/">Christian Schulte</A><BR><SPAN class="version">Version 1.4.0 (20110908185330)</SPAN></ADDRESS></BODY></HTML>
|