diff --git a/deploy-workbench.sh b/deploy-workbench.sh index fc56408..17ac89f 100755 --- a/deploy-workbench.sh +++ b/deploy-workbench.sh @@ -201,12 +201,8 @@ create_persistence_partition() { ${SUDO} tee "${tmp_rw_mount}/settings/settings.ini" <