Implement getFileInfo to retrieve meta data

getFileInfo returns a record containing meta data about the given file,
such as permissions, last modification time and time. We'll use this
action to fill a neat status bar.
This commit is contained in:
Alexander Kobjolke 2023-09-01 08:37:54 +02:00
parent 1de42395d4
commit 2ecde4fea5
3 changed files with 56 additions and 2 deletions

View file

@ -11,9 +11,9 @@ extra-source-files:
dependencies:
- base >= 4.13 && < 5
- time
- directory
# - bytestring
# - time
# - directory
ghc-options:
- -Wall