Skip to content

Latest commit

 

History

History
49 lines (36 loc) · 1.22 KB

cloning-repositories.md

File metadata and controls

49 lines (36 loc) · 1.22 KB

Cloning Repositories

(back)

  1. If you don't have one already, create a GitHub account.
  2. If you don't have an SSH key pair (or if you don't have it associated with your account), follow these instructions to add one.

An SSH key pair can be reused across multiple machines or WSL distributions, but it's up to you on whether or not you want to re-use an existing one.

One way to copy keys from an existing distribution:

cd /mnt/wsl
cp ~/.ssh/id_rsa* .

Then, on the new distribution:

mkdir ~/.ssh
cd ~/.ssh
cp /mnt/wsl/id_rsa* .
  1. Issue the following commands:
cd
git clone [email protected]:project-81/workspace.git

This ensures that the workspace repository will be present in your home directory. Next, bootstrap your environment with:

cd workspace
./scripts/bootstrap.sh

This will prompt you for your password to perform a number of commands relying on sudo to install (or update) a few system packages.

This script will also initialize and update submodules.