The following Visual Studio Code settings along with their default values that are available for the Idris extension. If you want to change any of these, you can do so in user preferences (cmd+,) or workspace settings (.vscode/settings.json). You don't have to copy these if you don't intend to change them.
"fe.server.path": "/usr/bin/fls", // Absolute path of the fls executable
"fe.trace.server": "off" // Traces the communication between the Fe language server and Visual Studio Code