Arduino Library Manager does not use the directories.user setting

[francip]

Unable to manage the installed libraries using the Arduino Library Manager. It does not respect the directories.user setting or the ARDUION_DIRECTORIES_USER environment variable.

I am using a user setup of VSCode v1.87.2, with Arduino extension v0.6.0.
I have configured arduino-cli to use a custom folder for directories.user.

Arduino CLI setup/config:

C:\Users\Franci Penov\src\Arduino>where arduino-cli     
C:\Program Files\Arduino CLI\arduino-cli.exe

C:\Users\Franci Penov\src\Arduino>arduino-cli version                                                    
arduino-cli  Version: 0.35.3 Commit: 95cfd654 Date: 2024-02-19T13:24:21Z

C:\Users\Franci Penov\src\Arduino>arduino-cli config dump --verbose                                     
INFO[0000] Using config file: C:\Users\Franci Penov\AppData\Local\Arduino15\arduino-cli.yaml 
INFO[0000] arduino-cli version 0.35.3
INFO[0000] Executing `arduino-cli config dump`
board_manager:
    additional_urls: []
build_cache:
    compilations_before_purge: 10
    ttl: 720h0m0s
daemon:
    port: "50051"
directories:
    data: C:\Users\Franci Penov\AppData\Local\Arduino15
    downloads: C:\Users\Franci Penov\AppData\Local\Arduino15\staging
    user: C:\Users\Franci Penov\src\Arduino
library:
    enable_unsafe_install: false
logging:
    file: ""
    format: text
    level: info
metrics:
    addr: :9090
    enabled: true
output:
    no_color: false
sketch:
    always_export_binaries: false
updater:
    enable_notification: true


C:\Users\Franci Penov\src\Arduino>arduino-cli lib list
Name                          Installed Available Location              Description
Adafruit BusIO                1.15.0    -         LIBRARY_LOCATION_USER -
Adafruit Circuit Playground   1.12.0    -         LIBRARY_LOCATION_USER -
Adafruit GFX Library          1.11.9    -         LIBRARY_LOCATION_USER -
Adafruit GPS Library          1.7.4     -         LIBRARY_LOCATION_USER -
Adafruit ILI9341              1.6.0     -         LIBRARY_LOCATION_USER -
Adafruit LED Backpack Library 1.5.1     -         LIBRARY_LOCATION_USER -
Adafruit SH110X               2.1.10    -         LIBRARY_LOCATION_USER -
Adafruit SleepyDog Library    1.6.5     -         LIBRARY_LOCATION_USER -
Adafruit SSD1306              2.5.9     -         LIBRARY_LOCATION_USER -
Adafruit STMPE610             1.1.6     -         LIBRARY_LOCATION_USER -
Adafruit TouchScreen          1.1.5     -         LIBRARY_LOCATION_USER -
Adafruit TSC2007              1.1.2     -         LIBRARY_LOCATION_USER -
Adafruit Zero DMA Library     1.1.3     -         LIBRARY_LOCATION_USER -
Adafruit Zero FFT Library     1.0.6     -         LIBRARY_LOCATION_USER -
Adafruit Zero PDM Library     1.2.3     -         LIBRARY_LOCATION_USER -
Arduino_BuiltIn               1.0.0     -         LIBRARY_LOCATION_USER -
Arduino_LSM6DSOX              1.1.2     -         LIBRARY_LOCATION_USER -
ArduinoSound                  0.2.1     -         LIBRARY_LOCATION_USER -
Ethernet                      2.0.2     -         LIBRARY_LOCATION_USER -
Firmata                       2.5.9     -         LIBRARY_LOCATION_USER -
Keyboard                      1.0.5     -         LIBRARY_LOCATION_USER -
Mouse                         1.0.1     -         LIBRARY_LOCATION_USER -
RTClib                        2.1.3     -         LIBRARY_LOCATION_USER -
SD                            1.2.4     -         LIBRARY_LOCATION_USER -
Servo                         1.2.1     -         LIBRARY_LOCATION_USER -
WaveHC                        1.0.5     -         LIBRARY_LOCATION_USER -
WiFiNINA                      1.8.14    -         LIBRARY_LOCATION_USER -

Here's what Library Manager shows when I search for one of the installed libraries, for example WifiNINA.

The extension embedded arduino-cli is using the same configuration file as the standalone arduino-cli installation.

My understanding is that the Library Manager should not be using the workspace c_cpp_properties.json, but just in case, here it is as well:

{
    "configurations": [
        {
            "name": "Win32",
            "includePath": [
                "${workspaceFolder}/**",
                "C:/Users/Franci Penov/AppData/Local/Arduino15/packages/arduino/tools/**",
                "C:/Users/Franci Penov/AppData/Local/Arduino15/packages/arduino/hardware/**",
                "C:/Users/Franci Penov/src/Arduino/libraries/**"
            ],
            "browse": {
                "path": [
                    "${workspaceFolder}/**",
                    "C:/Users/Franci Penov/AppData/Local/Arduino15/packages/arduino/tools/**",
                    "C:/Users/Franci Penov/AppData/Local/Arduino15/packages/arduino/hardware/**",
                    "C:/Users/Franci Penov/src/Arduino/libraries/**"
                ],
                "limitSymbolsToIncludedHeaders": true,
                "databaseFilename": ""
            },
            "defines": [
                "_DEBUG",
                "UNICODE",
                "_UNICODE",
                "ARDUINO=10813"
            ],
            "windowsSdkVersion": "10.0.22621.0",
            "compilerPath": "cl.exe",
            "cStandard": "c17",
            "cppStandard": "c++17",
            "intelliSenseMode": "windows-msvc-x64",
            "compileCommands": "${workspaceFolder}/build/compile_commands.json"
        }
    ],
    "version": 4
}