These files are used during an introductory workshop to the bash shell and the Linux terminal. Just clone the repository, enter the directory, and you are ready to go.

If you can't run Linux or you don't have bash you can use a Docker container. I provide here a Docker image with everything you need for the workshop. Follow the Setup steps the very first time, and then every time you need the image just skip to the Usage section.

The very first time you run the Docker command you will get an image that has been minimised, that is stripped of everything is not essential to run a Linux server, so manual pages are not present. As we will use them throughout the workshop you should run the following commands once you are given the prompt

docker build -t bash_intro .

which builds and image called bash_intro from the Dockerfile in current directory (.). Once that is done run

docker image ls | grep bash_intro

and you should see a line similar to

bash_intro     latest     ad02c8e90982     37 seconds ago     176MB

Every time

docker run -t -i -v ${PWD}:/opt/bash_intro bash_intro /bin/bash

Docker will run the command /bin/bash on your image called bash_intro connecting the local directory (${PWD}) with the directory /opt/bash_intro inside the container. Once you are given a prompt run this

cd /opt/bash_intro

and you will be ready to go. Once finished just type exit and you will return to the terminal in your OS.