get_filename_from_extension: Get filename from extension.

Description Usage Arguments Value

View source: R/file_utils.R

Description

Helper method to get the full filename within a zip matching extension. This expects there to be only one file in the zip with the extension.

Usage

1
get_filename_from_extension(file_extension, path_to_zip)

Arguments

file_extension

The file extension to look for.

path_to_zip

The path to the zip file to look in.

Value

The name of the located file.


mrc-ide/specio documentation built on April 15, 2021, 8:37 a.m.