|
|
@@ -15,7 +15,7 @@
|
|
|
</indexterm>
|
|
|
|
|
|
<para>The <filename>inputrc</filename> file is the configuration file for
|
|
|
- then Readline library, which provides editing capabilities while the user is
|
|
|
+ the Readline library, which provides editing capabilities while the user is
|
|
|
entering a line from the terminal. It works by tranlating keyboard inputs
|
|
|
into specific actions. Readline is used by Bash and most other shells as
|
|
|
well as many other applications.</para>
|
Chris Staub