diff --git a/deploy-workbench.sh b/deploy-workbench.sh index 3313e9e..d81665e 100755 --- a/deploy-workbench.sh +++ b/deploy-workbench.sh @@ -281,6 +281,8 @@ else fi pipenv run python /opt/workbench/workbench-script.py --config "\${config_path}" stty echo + +set +x END #TODO add some useful commands cat > "${ISO_PATH}/chroot/root/.bash_history" <