Skip to content

Instantly share code, notes, and snippets.

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)
cd sophia_rs
git checkout master
git fetch pchampin
git rebase pchampin/master
git push
cd ../PRIWA/wasm_example/
rm Cargo.lock
./ reload
cd ../..

This comment has been minimized.

Copy link
Owner Author

@BruJu BruJu commented Mar 16, 2020

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