315   PetscFileRetrieve - Obtains a file from a URL or a compressed file
322 . url  - name of file, including entire URL (with or without .gz)
336 PetscErrorCode PetscFileRetrieve(MPI_Comm comm, const char url[], char localname[], size_t llen, Pe…  in PetscFileRetrieve()  argument
349     PetscCall(PetscStrstr(url, ".gz", &par));  in PetscFileRetrieve()
355     PetscCall(PetscStrncmp(url, "ftp://", 6, &flg1));  in PetscFileRetrieve()
356     PetscCall(PetscStrncmp(url, "http://", 7, &flg2));  in PetscFileRetrieve()
357     PetscCall(PetscStrncmp(url, "file://", 7, &flg3));  in PetscFileRetrieve()
358     PetscCall(PetscStrncmp(url, "https://", 8, &flg4));  in PetscFileRetrieve()
362       PetscCall(PetscStrncpy(localname, url, llen));  in PetscFileRetrieve()
363       PetscCall(PetscTestFile(url, 'r', found));  in PetscFileRetrieve()
365         PetscCall(PetscInfo(NULL, "Found file %s\n", url));  in PetscFileRetrieve()
367         PetscCall(PetscInfo(NULL, "Did not find file %s\n", url));  in PetscFileRetrieve()
374       PetscCall(PetscStrncpy(localname, url, llen));  in PetscFileRetrieve()
382     PetscCall(PetscStrrchr(url, '/', &tlocalname));  in PetscFileRetrieve()
395       PetscCall(PetscStrlcat(buffer, url, sizeof(buffer)));  in PetscFileRetrieve()
415 …able to download %s it does not appear to exist at this URL, dummy HTML file was downloaded", url);  in PetscFileRetrieve()
417 …able to download %s it does not appear to exist at this URL, dummy HTML file was downloaded", url);  in PetscFileRetrieve()
423       PetscCall(PetscTestFile(url, 'r', found));  in PetscFileRetrieve()
425       PetscCall(PetscStrncpy(localname, url, llen));  in PetscFileRetrieve()