update connecting docs

docker-compose.yml

@@ -13,6 +13,9 @@ services:
         published: 8787
         protocol: tcp
         mode: host
+      - target: 4321
+        published: 4321
+        protocol: tcp
+        mode: host
     environment:
       - DISABLE_AUTH=true
-

episodes/11-connecting.Rmd

@@ -32,6 +32,8 @@ will faithfully present the same experience of using that system.
 
 Here is the process for opening a terminal in each operating system.
 
+::: tab
+
 ### Linux
 
 There are many different versions (aka "flavours") of Linux and how to open a
@@ -61,7 +63,7 @@ an SSH tool built into it and so one needs to be installed. There are a variety
 of programs that can be used for this; a few common ones we describe here, as
 follows:
 
-#### MobaXterm
+**MobaXterm**
 
 MobaXterm is a terminal window emulator for Windows and the home edition can be
 downloaded for free from
@@ -85,18 +87,20 @@ Once the MobaXterm window is open you should see a large button in the middle
 of that window with the text "Start Local Terminal". Click this button and you
 will have a terminal window at your disposal.
 
-#### Git BASH
+**Git BASH**
 
 Git BASH gives you a terminal like interface in Windows. You can use this to
 connect to a remote computer via SSH. It can be downloaded for free from
 [here][gitbash].
 
-#### Windows Subsystem for Linux
+**Windows Subsystem for Linux**
 
 The Windows Subsystem for Linux also allows you to connect to a remote computer
 via SSH. Instructions on installing it can be found
 [here][wsl].
 
+:::
+
 ## Creating an SSH key
 
 SSH keys are an alternative method for authentication to obtain access to
@@ -245,7 +249,7 @@ convention:
 # Being certain which system your terminal is connected to
 
 If you ever need to be certain which system a terminal you are using is
-connected to then use the following command: `$ hostname`.
+connected to then use the `hostname` command.
 ::::::::::
 
 :::::::::: callout

learners/reference.md

@@ -9,6 +9,7 @@ title: 'Reference'
 [Linux Manual Pages](https://linux.die.net/man/): Linux manual pages in HTML format.
 Versions might differ to your local version
 
+[Bash Prompt Generator](https://bash-prompt-generator.org/): Customise your bash prompt.
 
 ## Glossary