General BioHPC Setup

Instructions for logging into BioHPC/Web-Terminal and adding SSH key to your Git profile. The latter is required to clone Github repos from the dorsolab group.

Logging into BioHPC

There are two options for connecting to BioHPC.

• Web Visualization Terminal
• Linux/Mac Terminal

If you're a Windows user and do not want to install the Linux subsystem, use the Web Visualization Terminal.
If you're a Linux/Mac user, you can connect to BioHPC via your local Terminal or using the Web Visualization Terminal.

In order to download Github repos from the dorsolab group, you must provide authentication in the form of a SSH key. The SSH key, which acts like a permanent password, is added to your Git profile.

Generate and Copy SSH Key

Once logged into BioHPC, Generate a SSH key by typing (or copy-and-paste)

ssh-keygen -t rsa -C "your.email@example.com" -b 4096

where your.email@example.com should be replaced with your UTSW email.
Then Press Enter when it asks for the default directory.
Then Press Enter at both passphrase prompts (do not set a password).

You will need to copy the SSH key generated above. To view your SSH key, type

cat ~/.ssh/id_rsa.pub

You should see the following

ssh-rsa ....... = your.email@example.com

where ....... is a long alphanumeric key that spans multiple lines. This is your SSH key.

Highlight the entire SSH key - starting from ssh and ending with .com and copy it.

Congrats, you've successfully copied your unique SSH key and are ready to add it to your Git profile.

Add SSH Key to Git Profile

Log into your Git profile on UTSW's Github page.
To login, use your Portal or BioHPC username/password (not your UTSW credentials).

Once logged in, go to your Settings (upper right corner)

On the left, you'll see SSH Key - click on it

Paste the SSH key you generated and copied above into the window titled Key

Finally, click Add Key. Congrats, you're done add the SSH key to your Git profile.

Need more Instructions?

Didn't think the abbreviated instructions provided enough details? Go to the full instructions to add SSH key to your Git profile.