Copy github source into to working directory too
This is a hack to make sure that binder-like workflows work
ok
@@ -17,6 +17,10 @@ echo "---> Installing application source..."
mkdir -p ${APP_DIR}/src
cp -Rf /tmp/src/. ${APP_DIR}/src
+# HACK: We copy it to current directory too, since people wanna see the
+# notebooks and stuff in there. Figure out a way to tweak this?
+cp -Rf /tmp/src/. .
+
echo "---> Building application from source..."
if [ -f ${APP_DIR}/src/requirements.txt ]; then
${APP_DIR}/venv/bin/pip install --no-cache-dir -r ${APP_DIR}/src/requirements.txt
