This repository was archived by the owner on Oct 1, 2024. It is now read-only.
This repository was archived by the owner on Oct 1, 2024. It is now read-only.
customBuildProperties does not put quotes on build.path #974
Description
Ext version: 0.2.29
VScode version: 1.42.1
Arduino IDE version: 1.85
Board selected: one of the STM32Duino boards
The contents of my arduino.json look like:
{
"sketch": "...",
"board": "...",
"configuration": ...,
"output": "build"
}
However the full path of the output folder is
/home/myname/a_dir/another dir with spaces/myproject/build
The sketch verification fails with the error:
....
bash: line 0: [: too many arguments
mkdir: cannot create directory ‘another’: Permission denied
mkdir: cannot create directory ‘dir’: Permission denied
mkdir: cannot create directory ‘with’: Permission denied
mkdir: cannot create directory ‘spaces’: Permission denied
....
When I look at the build/build.options.json:
...
"customBuildProperties": "build.path=/home/myname/a_dir/another dir with spaces/myproject/build,...
...
Notice how the path is not in quotes. I suspect this is what is causing the issue. However I do no know how to force the arduino.json to put quotes around it.