From e6bbd3d2b3d567f5015bc20e154c2c21e7a80140 Mon Sep 17 00:00:00 2001 From: Andreas Merkle Date: Tue, 15 Oct 2024 17:30:44 +0200 Subject: [PATCH] WEBOTS_HOME was not correct set for linux and MacOS. --- scripts/webots_launcher.py | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/scripts/webots_launcher.py b/scripts/webots_launcher.py index e62171a9..4515bb7b 100644 --- a/scripts/webots_launcher.py +++ b/scripts/webots_launcher.py @@ -48,21 +48,21 @@ + '--serialTxCh ' + ROBOT_SERIAL_TX_CHANNEL + ' ' \ + '-v' WEBOTS_CONTROLLER_OPTIONS = '--robot-name=' + ROBOT_NAME + ' --stdout-redirect' +WEBOTS_HOME = os.getenv('WEBOTS_HOME') if OS_PLATFORM_TYPE == OS_PLATFORM_TYPE_WIN: - WEBOTS_HOME = os.getenv('WEBOTS_HOME').replace('\\', '/') - WEBOTS_CONTROLLER = '"' + WEBOTS_HOME + '/msys64/mingw64/bin/webots-controller.exe"' + WEBOTS_CONTROLLER = f"\"{WEBOTS_HOME.replace('\\', '/')}/msys64/mingw64/bin/webots-controller.exe\"" PROGRAM_NAME = "${PROGNAME}.exe" elif OS_PLATFORM_TYPE == OS_PLATFORM_TYPE_LINUX: - WEBOTS_CONTROLLER = "$WEBOTS_HOME/webots-controller" + WEBOTS_CONTROLLER = f"{WEBOTS_HOME}/webots-controller" PROGRAM_NAME = "${PROGNAME}" elif OS_PLATFORM_TYPE == OS_PLATFORM_TYPE_MACOS: - WEBOTS_CONTROLLER = "$WEBOTS_HOME/Contents/MacOS/webots-controller" + WEBOTS_CONTROLLER = f"{WEBOTS_HOME}/Contents/MacOS/webots-controller" PROGRAM_NAME = "${PROGNAME}" else: