diff options
Diffstat (limited to 'devdocs/bash/using-history-interactively.html')
| -rw-r--r-- | devdocs/bash/using-history-interactively.html | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/devdocs/bash/using-history-interactively.html b/devdocs/bash/using-history-interactively.html new file mode 100644 index 00000000..8b64991c --- /dev/null +++ b/devdocs/bash/using-history-interactively.html @@ -0,0 +1,6 @@ +<h1 class="chapter">Using History Interactively</h1> <p>This chapter describes how to use the <small>GNU</small> History Library interactively, from a user’s standpoint. It should be considered a user’s guide. For information on using the <small>GNU</small> History Library in other programs, see the <small>GNU</small> Readline Library Manual. </p> <ul class="section-toc"> <li><a href="bash-history-facilities" accesskey="1">Bash History Facilities</a></li> <li><a href="bash-history-builtins" accesskey="2">Bash History Builtins</a></li> <li><a href="history-interaction" accesskey="3">History Expansion</a></li> </ul><div class="_attribution"> + <p class="_attribution-p"> + Copyright © 2000, 2001, 2002, 2007, 2008 Free Software Foundation, Inc.<br>Licensed under the GNU Free Documentation License.<br> + <a href="https://www.gnu.org/software/bash/manual/html_node/Using-History-Interactively.html" class="_attribution-link">https://www.gnu.org/software/bash/manual/html_node/Using-History-Interactively.html</a> + </p> +</div> |