Streamline pull + rebuild
Created by: Yoric
So far, I haven't been able to come up with a reproducible workflow to pull and rebuild. All my attempts involve sequences of:
-
git pull --rebase --recurse-submodules
; -
git clean -X -f -d
; -
git submodule update --recursive --init
; -
make clean
; -
make all
; -
cargo update
in some subdirectories; - head-scratching;
- rinse and repeat.
I am sure that there must be a good way to handle this that does not involve spending 1h each time I pull. We should:
- find such a workflow;
- turn it into a single command
make pull
.