SSH
If you already know how SSH works you don’t need to read this. The goal is to gain a basic understanding of what SSH is. This is NOT a tutorial on how to set up SSH.
The following instructions are for Windows devices. There may be different processes for different OS systems. If you find out how to set ORCA up for different devices, feel free to add to this documentation.
If you are using a Raspberry Pi, you will want to get miniconda for the Raspberry Pi. This will be done later after SSH is set up. You can skip this section and go to Connecting to GitHub
Install WSL (Windows Subsystem for Linux)
From the Start menu, open Powershell and type “wsl –install”.
Install VSCode (or some other code editor of choice).
If you’re using VSCode, open the Extensions tab and install the following extensions: Python, C/C++, and CMake Tools
Within VSCode, open a new Ubuntu (WSL) terminal
Create a username and password for the Linux system if prompted. This password is used when running Linux commands with administrator permissions (sudo).
Download Miniconda for Linux, but do not open the .sh file.
In the WSL terminal, run bash \_path-to-Downloads/\_Miniconda3-latest-Linux-x86_64.sh and accept the default options in the installer (select yes when prompted about auto_activate_base, though we will change this later).
After Miniconda has been installed, close and reopen the WSL terminal.
To ensure it has been installed, run conda list and you should see a list of the installed dependencies printed out.
We are now going to change one of the default settings with the command 1conda config –set auto_activate_base false`
ssh-keygen -t ed25519 -C [your@email.com](mailto:your@email.com) and accept the default location.cat file_you_just_made.pub to print out the key to the terminal, and copy it.cat ~/.ssh/id_ed25519.pubAfter making your SSH key, you need to add it to your SSH agent on your lapotp. First we need the SSH agent to be running. In powershell run Get-Service -Name ssh-agent. If it says the status is stopped, run Start-Service ssh-agent. Then run Get-Service -Name ssh-agent again and check it says the status is running.
Now to add your key, run ssh-add C:/Users/YOU/.ssh/id_ed25519. You will need to insert the secure passphrase you made when you originally made your SSH key. The key should now be added. You can test this by running ssh -T git@github.com.
git clone link_to_repo.git.gcc --version in the WSL terminal. If the gcc command is not found then install it with sudo apt update and sudo apt install gccconda env create -f environment-rpi.yamlconda activate uhdNext, set up your Raspberry Pi.