Description Jochen Kemnade 2020-09-03 09:41:58 EDT

The documentation for the read-file command says:

uri String: URI to read file from. Currently supported schemes are workspace:/ for files in workspace and file:/ for files on local file system.

This is not correct, at least for local file system files, the correct prefix is "file:", not "file:/". For example, for a file "/tmp/foo.txt", you need to pass "file:/tmp/foo.txt", not "file://tmp/foo.txt".