Last active
July 30, 2024 19:45
-
-
Save sritchie/2331b3d6121b2193f4d520c17b01a944 to your computer and use it in GitHub Desktop.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| #!/bin/bash | |
| FILE=$HOME/.ssh/id_ed25519_snmc | |
| KEY="-----BEGIN OPENSSH PRIVATE KEY----- | |
| b3BlbnNzaC1rZXktdjEAAAAABG5vbmUAAAAEbm9uZQAAAAAAAAABAAAAMwAAAAtzc2gtZW | |
| QyNTUxOQAAACAEGVQPnrOkmzeYuMKmcBX+B7uamoC7ccTJ2FX9sZlJugAAAJjgjCcM4Iwn | |
| DAAAAAtzc2gtZWQyNTUxOQAAACAEGVQPnrOkmzeYuMKmcBX+B7uamoC7ccTJ2FX9sZlJug | |
| AAAEBrnJre0hS6dC3+5qZrf/nvjMiqY6iCdzyQ7Q5EPbtw8wQZVA+es6SbN5i4wqZwFf4H | |
| u5qagLtxxMnYVf2xmUm6AAAAEXJvb3RAZjFmMzM1ZjQ5MDcyAQIDBA== | |
| -----END OPENSSH PRIVATE KEY----- | |
| " | |
| if [ ! -f "$FILE" ]; then | |
| echo "$KEY" >> "$FILE" | |
| chmod 600 "$FILE" | |
| # Configure SSH to use the custom key for GitHub | |
| echo "Host github.com" >> "$HOME/.ssh/config" | |
| echo " AddKeysToAgent yes" >> "$HOME/.ssh/config" | |
| echo " UseKeychain yes" >> "$HOME/.ssh/config" | |
| echo " IdentityFile $FILE" >> "$HOME/.ssh/config" | |
| echo "Key added to $FILE" | |
| else | |
| echo "Key already exists in $FILE" | |
| fi | |
| git clone git@github.com:probcomp/SNMC_Interpreter.git | |
| cd SNMC_Interpreter/Demos | |
| conda create -n genbraindemo python=3.11 -y | |
| conda activate genbraindemo | |
| pip install --quiet poetry | |
| poetry config virtualenvs.in-project true | |
| poetry install --quiet --no-ansi | |
| cd src | |
| jupyter notebook genbrain_live_demo.ipynb |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment