build: remove path_files before making dir

This commit is contained in:
rzmk 2024-05-29 12:21:31 -04:00
parent 8017b365c7
commit e5650118a7

View file

@ -5,6 +5,7 @@ set -ex
pip install bash_kernel
python -m bash_kernel.install
rm -rf path_files
mkdir path_files
export PATH=/home/jovyan/path_files:$PATH
cd path_files