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