changeset 99:587399dc0e07 default tip

minor
author Franklin Schmidt <fschmidt@gmail.com>
date Mon, 23 Jun 2025 22:40:58 -0600
parents 5d41aa24adaf
children
files src/elvish.html.luan
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/src/elvish.html.luan	Mon Jun 23 22:37:16 2025 -0600
+++ b/src/elvish.html.luan	Mon Jun 23 22:40:58 2025 -0600
@@ -24,7 +24,7 @@
 		<div content>
 			<h1>Elvish Shell</h1>
 
-			<p><a href="bash.html">Bash</a> is old and reliable, but it is far from perfect.  Bash is clunky and is cryptic for writing shell scripts.  Of course most modern modern shell languages are horrible.  The only exception I found is <a href="https://elv.sh/">Elvish</a>.</p>
+			<p><a href="bash.html">Bash</a> is old and reliable, but it is far from perfect.  Bash is clunky and is cryptic for writing shell scripts.  Of course most modern shell languages are horrible.  The only exception I found is <a href="https://elv.sh/">Elvish</a>.</p>
 
 			<p>Elvish has a clean design with none of the quirks of Bash.  The only problem is that Elvish doesn't work.  Elvish doesn't handle background processes properly as described <a href="https://github.com/elves/elvish/issues/307">here</a>.  This means that if you open an Elvish shell, launch a GUI app from the command line, and later close the shell, then this kills the GUI app.  That's pretty bad.</p>