Merge pull request #7820 from SvenDowideit/eik3-exit-doc-patch

alternative to `exit` command: `CTRL-D`
2026-08-22 05:56:17 +00:00 · 2014-08-31 20:39:23 -07:00
parent 014471ad39 c0c525b3d1
commit 2aaa8892e3
1 changed files with 1 additions and 1 deletions
@@ -81,7 +81,7 @@ of the root directory which shows us what looks like a typical Linux
 file system.

 You can play around inside this container and when you're done you can
-use the `exit` command to finish.
+use the `exit` command or enter Ctrl-D to finish.

    root@af8bae53bdd3:/# exit