These two scripts help you avoid repeated manual push / pull / rebuild / test steps.
Run this on your local machine, inside the project repo.
Example:
chmod +x local_push_and_test.sh
./local_push_and_test.sh "optimize blackscholes" 124090302What it does:
git add .- create a commit if there are staged changes
git push origin main- SSH to the course server
git fetch origin && git reset --hard origin/main- rebuild in
build-server - run
./run_stu
Run this directly on the course server if you have already pushed and only want to retest.
Example:
chmod +x server_rebuild_and_test.sh
./server_rebuild_and_test.shBoth scripts use:
git reset --hard origin/mainSo they will discard uncommitted changes in the server-side repo.
If you often keep unfinished edits on the server, do not use these scripts without checking first.