From 78a25d8f79a206ec29e828e22b92da30528d5d9b Mon Sep 17 00:00:00 2001 From: trhallam <8454087+trhallam@users.noreply.github.com> Date: Tue, 18 Jun 2024 12:10:46 +0100 Subject: [PATCH] update connecting docs --- docker-compose.yml | 5 ++++- episodes/11-connecting.Rmd | 12 ++++++++---- learners/reference.md | 1 + 3 files changed, 13 insertions(+), 5 deletions(-) diff --git a/docker-compose.yml b/docker-compose.yml index 3161eb5..11937ca 100644 --- a/docker-compose.yml +++ b/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 - diff --git a/episodes/11-connecting.Rmd b/episodes/11-connecting.Rmd index 0c54575..37990c2 100644 --- a/episodes/11-connecting.Rmd +++ b/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 diff --git a/learners/reference.md b/learners/reference.md index d77f496..9ae73a6 100644 --- a/learners/reference.md +++ b/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