Running lake outside of a directory

Stream: general

[Riley Beckett]

"lake build" builds a lake file when the terminal is at the right directory. How might I supply the directory within the terminal command instead?

[Chris Bailey]

lake --dir=<path> <command> seems to work.