[m-users.] Changing the working directory

[Julien Fischer]

Hi Volker,

On Tue, 16 Jan 2024, Volker Wysk wrote:

> There seems to be no predicate in the standard libraries for changing the
> working directory. I've looked in dir and io. And the strings "chdir" and
> "change_directory" don't occur in any library. "working" appears only in
> comments.

There is no such predicate in the standard library. Such an operation
would be backend / platform specific. In this case, getting a useful
behaviour for the Java backend seems difficult.

Julien.