./enter -> ./enter.sh

PRL-PRG · Oct 31, 2022 · c1aa226 · c1aa226
1 parent 6160e4e
commit c1aa226
Show file tree

Hide file tree

Showing 3 changed files with 2 additions and 2 deletions.
diff --git a/README.html b/README.html
@@ -49,7 +49,7 @@ <h2 id="install-the-docker-image">Install the docker image</h2>
 artifact (<code>sle22-signatr-artifact/</code>) and enter in a
 shell:</p>
 <div class="sourceCode" id="cb4"><pre
-class="sourceCode bash"><code class="sourceCode bash"><span id="cb4-1"><a href="#cb4-1" aria-hidden="true" tabindex="-1"></a><span class="ex">./enter</span></span></code></pre></div>
+class="sourceCode bash"><code class="sourceCode bash"><span id="cb4-1"><a href="#cb4-1" aria-hidden="true" tabindex="-1"></a><span class="ex">./enter.sh</span></span></code></pre></div>
 <p>which should give you a bash shell prompt, like (modulo the
 hostname):</p>
 <div class="sourceCode" id="cb5"><pre class="sourceCode sh"><code class="sourceCode bash"><span id="cb5-1"><a href="#cb5-1" aria-hidden="true" tabindex="-1"></a><span class="ex">r@eaf63037fd02:/work$</span></span></code></pre></div>

diff --git a/README.md b/README.md
@@ -50,7 +50,7 @@ inside the docker image (for Linux, macOS) from the artifact directory.
  and enter in a shell:
 
 ```bash
-./enter
+./enter.sh
 ```
 
 which should give you a bash shell prompt, like (modulo the hostname):

diff --git a/README.pdf b/README.pdf