Skip to content

Instantly share code, notes, and snippets.

Embed
What would you like to do?
My bash script to synchronize my clone of the Sophia_rs repository (and use the latest version of Sophia in my project)
#!/bin/bash
cd sophia_rs
git checkout master
git fetch pchampin
git rebase pchampin/master
git push
cd ../PRIWA/wasm_example/
rm Cargo.lock
./run_server.sh reload
cd ../..
@BruJu

This comment has been minimized.

Copy link
Owner Author

@BruJu BruJu commented Mar 16, 2020

git clone https://github.com/BruJu/Portable-Reasoning-in-Web-Assembly
mv Portable-Reasoning-in-Web-Assembly/ PRIWA
git clone https://github.com/bruju/sophia_rs
cd sophia_rs
git remote add pchampin https://github.com/pchampin/sophia_rs
cd ..
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment