|
|
@@ -33,7 +33,7 @@ if [ -d /workspace/$WORKSPACE_NAME ]; then
|
|
|
rm -rf /workspace/$WORKSPACE_NAME
|
|
|
fi
|
|
|
mkdir -p /workspace
|
|
|
-mv /testbed /workspace/$WORKSPACE_NAME
|
|
|
+cp -r /testbed /workspace/$WORKSPACE_NAME
|
|
|
|
|
|
# Activate instance-specific environment
|
|
|
. /opt/miniconda3/etc/profile.d/conda.sh
|