Date: 2022-03-31T04:46:05+00:00

Actual source code: ghome.c

      2: /*
      3:       Code for manipulating files.
      4: */
      5: #include <petscsys.h>

      7: /*@C
      8:    PetscGetHomeDirectory - Returns home directory name.

     10:    Not Collective

     12:    Input Parameter:
     13: .  maxlen - maximum lengh allowed

     15:    Output Parameter:
     16: .  dir - contains the home directory. Must be long enough to hold the name.

     18:    Level: developer

     20:    Note:
     21:    If PETSc cannot determine the home directory it makes dir a null string

     23:    On Windows machines the enviornmental variable HOME specifies the home directory.

     25: @*/
     26: PetscErrorCode  PetscGetHomeDirectory(char dir[],size_t maxlen)
     27: {
     28:   const char     *d1;

     30:   d1 = getenv("HOME");
     31:   if (d1) {
     32:     PetscStrncpy(dir,d1,maxlen);
     33:   } else if (maxlen > 0) dir[0] = 0;
     34:   return 0;
     35: }

     37: /*@C
     38:     PetscFixFilename - Fixes a file name so that it is correct for both Unix and
     39:     Windows by using the correct / or \ to separate directories.

     41:    Not Collective

     43:    Input Parameter:
     44: .  filein - name of file to be fixed

     46:    Output Parameter:
     47: .  fileout - the fixed name. Should long enough to hold the filename.

     49:    Level: advanced

     51:    Notes:
     52:    Call PetscFixFilename() just before calling fopen().
     53: @*/
     54: PetscErrorCode  PetscFixFilename(const char filein[],char fileout[])
     55: {
     56:   size_t         i,n;

     58:   if (!filein || !fileout) return 0;

     60:   PetscStrlen(filein,&n);
     61:   for (i=0; i<n; i++) {
     62:     if (filein[i] == PETSC_REPLACE_DIR_SEPARATOR) fileout[i] = PETSC_DIR_SEPARATOR;
     63:     else fileout[i] = filein[i];
     64:   }
     65:   fileout[n] = 0;
     66:   return 0;
     67: }