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