Module grin_util::file

File util

Functions

copy_dir_to

Copy directory, create destination if needed

delete

Delete a directory or file

get_first_line

Retrieve first line from file

list_files

List directory