Miscellaneous FileSystem Usages🔗

These are some miscellaneous File System usages that you might find useful when working with file paths in Lean.

1. How to concatenate file paths
2. How to get the current working directory
3. Checking metadata for path
4. Checking if a path is absolute or relative
5. Normalizing a file path
6. Renaming a file path