From 754bbf7a25a8dda49b5d08ef0d0443bbf5af0e36 Mon Sep 17 00:00:00 2001
From: Craig Jennings <c@cjennings.net>
Date: Sun, 7 Apr 2024 13:41:34 -0500
Subject: new repository

---
 devdocs/bash/using-history-interactively.html | 6 ++++++
 1 file changed, 6 insertions(+)
 create mode 100644 devdocs/bash/using-history-interactively.html

(limited to 'devdocs/bash/using-history-interactively.html')

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 &copy; 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>
-- 
cgit v1.2.3