fix: improve directory fallback on Linux and trim local time identifier (#6221) This PR fixes: - Problems in other linux distributions that the default `tzdata` directory is not the same as previously defined by ensuring it with a fallback behavior when directory is missing. - Trim unnecessary characters from local time identifier.
This is the repository for Lean 4.
See Setting Up Lean.
Please read our Contribution Guidelines first.
See Building Lean (documentation source: doc/make/index.md).