Linux

Open a terminal and run the following commands to install docker

# Add Docker's official apt repository
$ sudo apt update
$ sudo apt install -y ca-certificates curl
$ sudo install -m 0755 -d /etc/apt/keyrings
$ sudo curl -fsSL https://download.docker.com/linux/ubuntu/gpg -o /etc/apt/keyrings/docker.asc
$ sudo chmod a+r /etc/apt/keyrings/docker.asc

$ sudo tee /etc/apt/sources.list.d/docker.sources > /dev/null <<EOF
$ Types: deb
$ URIs: https://download.docker.com/linux/ubuntu
$ Suites: $(. /etc/os-release && echo "${UBUNTU_CODENAME:-$VERSION_CODENAME}")
$ Components: stable
$ Architectures: $(dpkg --print-architecture)
$ Signed-By: /etc/apt/keyrings/docker.asc
$ EOF

# Install docker
$ sudo apt update
$ sudo apt install -y docker-ce docker-ce-cli containerd.io docker-buildx-plugin docker-compose-plugin

Start the docker service and enable it to start on boot

$ sudo systemctl enable --now docker

Reboot or log out and back in for the changes to take effect.

Check docker is installed and working

$ sudo docker --version
$ docker --version
$ docker run hello-world

You should see a few messages about docker running and how it pulled that message down.

Go to the Github website and create an account if you don't already have one. (Make sure to remember the username and email you used to create the account)

Open your terminal and run the following commands to install git

$ sudo apt update
$ sudo apt install -y git

Close and reopen your terminal (this refreshes your PATH) and check it exists by running git --version

Next to configure your username run

$ git config --global user.name "Your username here"
$ git config --global user.email "Your email here"

Generate an ssh key pair and add it to the ssh-agent

$ ssh-keygen -t ed25519 -C "Your email here"
$ eval "$(ssh-agent -s)"
$ ssh-add ~/.ssh/id_ed25519

Copy the public key to your clipboard (copy the output of the command below)

$ cat ~/.ssh/id_ed25519.pub

Go to github.com, click your profile in the top right and hit settings

In the settings menu click SSH and GPG keys then click New SSH key on that page

Make sure the new key's type is an Authentication key, give the key an appropriate name and then paste the contents that we copied earlier into the box.

Test that this works by running ssh -T [email protected]

When you clone a new repo make sure to hit the code button and hit SSH then copy that link and git clone

Open your terminal and run the following commands to install VSCode

$ sudo apt update
$ sudo apt install -y wget gpg
$ wget -qO- https://packages.microsoft.com/keys/microsoft.asc | sudo gpg --dearmor -o /usr/share/keyrings/microsoft.gpg

$ sudo tee /etc/apt/sources.list.d/vscode.sources > /dev/null <<EOF
$ Types: deb
$ URIs: https://packages.microsoft.com/repos/code
$ Suites: stable
$ Components: main
$ Architectures: amd64,arm64,armhf
$ Signed-By: /usr/share/keyrings/microsoft.gpg
$ EOF

$ sudo apt update
$ sudo apt install -y code

Open VSCode from your applications menu, or run code . from a terminal to open the current folder

Test it by running

$ code --version

We use Dev Containers on our repos so everyone gets an identical, pre-configured environment instead of installing tools by hand. Install the following extensions from the Extensions view (Ctrl + Shift + X):

• Dev Containers (ms-vscode-remote.remote-containers), by Microsoft
• Container Tools (ms-azuretools.vscode-containers), by Microsoft

Take the URC-2023 Repo and git clone it into an appropriate folder (I recommend making a trickfire folder), then run code urc-2023 and vscode should open with this new repository opened

A notification should pop up asking if you want to reopen the folder in a container, click Reopen in Container and wait for the container to build. This may take a while the first time, but future builds will be much faster.