feat: `IO.Process.get/setCurrentDir`

leanprover / lean4

Lean 4 programming language and theorem prover

https://lean-lang.org

Apache License 2.0

3.82k stars 325 forks source link

feat: `IO.Process.get/setCurrentDir` #4036

Closed tydeu closed 2 weeks ago

tydeu commented 2 weeks ago

Adds IO.Process.getCurrentDir and IO.Process.setCurrentDir for retrieving and setting, respectively, the current working directory of a process. The names of the functions are inspired by Rust (e.g., set_current_dir).

leanprover-community-mathlib4-bot commented 2 weeks ago

Mathlib CI status (docs):

❌ Mathlib branch lean-pr-testing-4036 built against this PR, but was unexpectedly noisy. (2024-04-30 19:32:30) View Log
✅ Mathlib branch lean-pr-testing-4036 has successfully built against this PR. (2024-04-30 19:55:15) View Log
✅ Mathlib branch lean-pr-testing-4036 has successfully built against this PR. (2024-04-30 21:09:09) View Log