Re: [petsc-dev] PetscOptionsGetString (Barry Smith)