fix: send correct file extension for firmware

up to now, we called the firmware file simply `firmware`, without any extension. However, Wokwi needs the extension to detect the format of the firmware (elf / hex / uf2 / bin).
wokwi · May 28, 2023 · bfc9da6 · bfc9da6
1 parent e0fe1a1
commit bfc9da6
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/src/main.ts b/src/main.ts
@@ -121,7 +121,9 @@ async function main() {
   };
   await client.connected;
   await client.fileUpload('diagram.json', diagram);
-  await client.fileUpload('firmware', readFileSync(firmwarePath));
+  const extension = firmwarePath.split('.').pop();
+  const firmwareName = `firmware.${extension}`;
+  await client.fileUpload(firmwareName, readFileSync(firmwarePath));
   await client.fileUpload('firmware.elf', readFileSync(elfPath));
 
   if (!quiet) {
@@ -151,7 +153,7 @@ async function main() {
   const { timeToNextEvent } = eventManager;
   await client.simStart({
     elf: 'test.elf',
-    firmware: 'firmware',
+    firmware: firmwareName,
     pause: timeToNextEvent >= 0,
   });
   if (timeToNextEvent > 0) {