Efun-Gruppe File

• abs_path
• cat
• copy_file
• ed
• file_path
• file_size
• file_time
• get_dir
• log_file
• mkdir
• read_bytes
• read_file
• rename
• rm
• rmdir
• search_file
• sys_log
• tail
• valid_file_name
• write_bytes
• write_file