petsc-3.11.4 2019-09-28

PetscFileRetrieve

Obtains a file from a URL or compressed and copies into local disk space as uncompressed.

PetscErrorCode  PetscFileRetrieve(MPI_Comm comm,const char url[],char localname[],size_t llen,PetscBool  *found)

Collective on MPI_Comm

	comm	- processors accessing the file
	url	- name of file, including entire URL (with or without .gz)
	llen	- length of localname

	localname	- name of local copy of file - valid on only process zero
	found	- if found or retrieved the file - valid on all processes

if the file already exists local this function just returns without downloading it.

intermediate