@echo off
call "%~dp0env.bat"
set "fichiers=%ROOTDIR%jeux"
"%APPSDIR%\sedxp" -i -r "s+working_directory(.*)+working_directory = %fichiers:\=\\%+g" "%APPSDIR%\Thonny\configuration.ini"
python -m thonny %*