Small PR for consistency 📚
Currently ./devdb.sh dataloading and ./bash/01_dataloading.sh do different things. The distinction doesn't matter in a production build on github actions but it does matter in local development. I accidentally wiped my .library which only took a couple minutes to re-create. If we want to automatically clear we should do that from the 01_dataloading.sh for more consistent behavior.
Small PR for consistency 📚 Currently
./devdb.sh dataloading
and./bash/01_dataloading.sh
do different things. The distinction doesn't matter in a production build on github actions but it does matter in local development. I accidentally wiped my.library
which only took a couple minutes to re-create. If we want to automatically clear we should do that from the01_dataloading.sh
for more consistent behavior.