From e5650118a7352ba4abbb66d36ff764ee508c309f Mon Sep 17 00:00:00 2001 From: rzmk Date: Wed, 29 May 2024 12:21:31 -0400 Subject: [PATCH] build: remove path_files before making dir --- postBuild | 1 + 1 file changed, 1 insertion(+) diff --git a/postBuild b/postBuild index 83ac013..e8ce4ee 100644 --- a/postBuild +++ b/postBuild @@ -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