2005-09-20 13:26:39 +00:00
|
|
|
<html>
|
|
|
|
|
<head>
|
|
|
|
|
<title>fish user documentation</title>
|
|
|
|
|
<link href="doxygen.css" rel="stylesheet" type="text/css">
|
2006-05-09 16:41:46 +00:00
|
|
|
<!--
|
|
|
|
|
Override the default doxygen stylesheet to make the difference between different header levels larger
|
|
|
|
|
-->
|
|
|
|
|
<style type='text/css'>
|
2006-11-11 10:52:08 +00:00
|
|
|
H1
|
2006-05-09 16:41:46 +00:00
|
|
|
{
|
2006-11-11 10:52:08 +00:00
|
|
|
font-size: 180%;
|
|
|
|
|
}
|
|
|
|
|
H2
|
|
|
|
|
{
|
|
|
|
|
font-size: 150%;
|
2006-05-09 16:41:46 +00:00
|
|
|
}
|
|
|
|
|
H3
|
|
|
|
|
{
|
2006-11-11 10:52:08 +00:00
|
|
|
padding-left:10%;
|
|
|
|
|
font-size: 120%;
|
|
|
|
|
}
|
|
|
|
|
H4
|
|
|
|
|
{
|
|
|
|
|
padding-left:10%;
|
|
|
|
|
font-style: italic;
|
|
|
|
|
font-weight: normal;
|
|
|
|
|
font-size: 90%;
|
2006-05-09 16:41:46 +00:00
|
|
|
}
|
|
|
|
|
</style>
|
2005-09-20 13:26:39 +00:00
|
|
|
</head>
|
|
|
|
|
<body>
|
|
|
|
|
|
|
|
|
|
<div class="qindex">
|
|
|
|
|
|
2012-08-01 16:09:50 +00:00
|
|
|
<a class="qindex" href="http://ridiculousfish.com/shell/"><tt>fish</tt> home</a>
|
2005-09-20 13:26:39 +00:00
|
|
|
|
|
2010-09-18 02:18:26 +00:00
|
|
|
<a class="qindex" href="index.html">Main documentation page</a>
|
2005-09-20 13:26:39 +00:00
|
|
|
|
|
2005-12-04 02:27:40 +00:00
|
|
|
<a class="qindex" href="design.html">Design document</a>
|
|
|
|
|
|
|
2006-10-31 15:36:14 +00:00
|
|
|
<a class="qindex" href="commands.html">Commands</a>
|
2005-09-20 13:26:39 +00:00
|
|
|
|
|
2006-02-24 01:14:46 +00:00
|
|
|
<a class="qindex" href="faq.html">FAQ</a>
|
|
|
|
|
|
|
2005-09-20 13:26:39 +00:00
|
|
|
<a class="qindex" href="license.html">License</a>
|
2010-09-18 02:18:26 +00:00
|
|
|
|
2005-09-20 13:26:39 +00:00
|
|
|
</div>
|
|
|
|
|
|
