Hello,
I'm using Arduino IDE v 2.3.4 on Linux.
The default sketchbook location is /mnt/nas_data/source_code/Arduino_ws.
The libraries are in a sub-directory at this location.
I want to change the 'default' location for the libraries used in the IDE to another location, e.g.
$HOME/etc/libraries
How can I do that?
Thanks
PS: Please don't ask why I want to use another location. I have my reason for that. 
PPS: To be clear, the Sketchbook location should remain where it is. I just want to change the library location.