| 362 | | 1. Go to [https://www.cosmos-lab.org/portal/ssh-keys Profile] and sign in with your COSMOS username and password |
| 363 | | |
| 364 | | 2. Click on "Change My Profile" option in the left side menu |
| 365 | | |
| 366 | | 3. Click the "Choose File" button next to "Public key file" |
| 367 | | |
| 368 | | 4. Navigate to where your '''public key file''' is stored (typically /Users/your_username/.ssh) |
| 369 | | |
| 370 | | 5. Select the .pub file corresponding to the key you wish to use for COSMOS access |
| 371 | | |
| 372 | | 6. Click "Open" |
| 373 | | |
| 374 | | 7. Click the "Update Profile" button |
| | 362 | 1. Go to the [https://www.cosmos-lab.org/portal/ portal] and sign in with your COSMOS username and password |
| | 363 | |
| | 364 | 2. Click on the dropdown menu next to your username in the upper right corner of the page and select "SSH Keys" |
| | 365 | |
| | 366 | 3. To retrieve your public key, open up a terminal, and enter |
| | 367 | {{{#!shell |
| | 368 | cat ~/.ssh/id_rsa.pub |
| | 369 | }}} |
| | 370 | |
| | 371 | 4. Copy the output of that command (keep in mind that you need to hold down the shift key when you are copying and pasting in a terminal) and paste it into the text box under "Upload New Key", then click the upload button. |