I am playing around with arduino-cli's gRPC interface and Python. I am not able to set custom directories for dataDir, sketchbookDir and downloadsDir using the gRPC Init() method.All other gRPC methods seem to work as expected.

Bug Report

Current behavior

If I call client.Init(req) with req.dataDir set to a custom directory, it is still using the directories configured while starting the daemon.

Expected behavior

arduino-cli should use the directories specified within the req argument

Environment

• arduino-cli 0.7.2
• Linux (Ubuntu)
• Python 3

Additional context

None