/usr/share/mozart/doc/opi/node6.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>6 Using Profiles</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="node5.html#chapter.tools"><< Prev</A></TD><TD><A href="index.html">- Up -</A></TD><TD><A href="node9.html#appendix.keybindings">Next >></A></TD></TR></TABLE><DIV id="chapter.profiles"><H1><A name="chapter.profiles">6 Using Profiles</A></H1><P> A <A name="label206"></A><EM>profile</EM> defines all the settings necessary to run a particular version or installation of Oz. You can have an number of profiles and you can switch between them while remaining in the same Emacs session. The advantages for regular users are: </P><UL><LI><P>You don't need to invoke <CODE>oz</CODE> to start an Oz session. Rather, you start your regular Emacs and whenever you want to start interacting with a certain version of Oz installed on your system, you select the appropriate profile and all appropriate settings are automagically installed.</P></LI><LI><P>You can thus easily switch between several installations of Mozart.</P></LI><LI><P>It is easy to customize the settings for a profile using Emacs's <CODE>customize</CODE> interface.</P></LI></UL><P> Additional advantages for Mozart developers are that you can easily define profiles </P><UL><LI><P>to run Oz from a build directory.</P></LI><LI><P>to run a debug emulator under GDB.</P></LI></UL><P> </P><DL><DT class="useroption"><A name="label207"></A><SPAN class="index"><CODE>oz-profiles</CODE></SPAN> (default: <CODE>nil</CODE>) <SPAN class="entrycategory"><SPAN class="entrycategorybracket"> [</SPAN><I>user option</I><SPAN class="entrycategorybracket">]</SPAN></SPAN></DT><DD><P>An alist of profiles for different Oz mode configurations. The keys of this alist are the names of the profiles. </P></DD><DT class="command"><A name="label208"></A><SPAN class="index"><CODE>oz-set-profile</CODE></SPAN> <CODE><I>NAME</I></CODE> <SPAN class="entrycategory"><SPAN class="entrycategorybracket"> [</SPAN><I>command</I><SPAN class="entrycategorybracket">]</SPAN></SPAN></DT><DD><P>Select profile <CODE><I>NAME</I></CODE> from those defined in <CODE>oz-profiles</CODE>. If Oz is currently running, the user is prompted to decide whether to kill it. A new profile can only be installed when Oz is not currently running in the OPI. </P></DD><DT class="command"><A name="label209"></A><SPAN class="index"><CODE>oz-profile-undo</CODE></SPAN> <SPAN class="entrycategory"><SPAN class="entrycategorybracket"> [</SPAN><I>command</I><SPAN class="entrycategorybracket">]</SPAN></SPAN></DT><DD><P>Undo the bindings established by the current profile. This is rarely useful because <CODE>oz-set-profile</CODE> automatically invokes <CODE>oz-profile-undo</CODE> in order to undo existing settings and replace them with new ones. </P></DD></DL><P> </P><HR><UL class="toc"><LI><A href="node7.html#prof.custom">6.1 Creating and Customizing Profiles</A><UL class="toc"><LI><A href="node7.html#label210">6.1.1 Global Profile</A></LI><LI><A href="node7.html#label211">6.1.2 Default Profile</A></LI><LI><A href="node7.html#label212">6.1.3 Build Profile</A></LI><LI><A href="node7.html#label213">6.1.4 Debug Profile</A></LI></UL></LI></UL><UL class="toc"><LI><A href="node8.html#prof.params">6.2 Profile Parameters</A></LI></UL></DIV><TABLE align="center" border="0" cellpadding="6" cellspacing="6" class="nav"><TR bgcolor="#DDDDDD"><TD><A href="node5.html#chapter.tools"><< Prev</A></TD><TD><A href="index.html">- Up -</A></TD><TD><A href="node9.html#appendix.keybindings">Next >></A></TD></TR></TABLE><HR><ADDRESS><A href="http://www.ps.uni-sb.de/~kornstae/">Leif Kornstaedt</A> and <A href="http://www.ps.uni-sb.de/~duchier/">Denys Duchier</A><BR><SPAN class="version">Version 1.4.0 (20110908185330)</SPAN></ADDRESS></BODY></HTML>
|