Follow-up from "Cleanup Unused Options"
The following discussions from !6689 (merged) should be addressed:
-
@BarrySmith started a discussion: Best to refactor so that -shared_tmp true/false works and remove not_shared_tmp and the environmental variables (PETSC_OPTIONS is where one could put -shared_tmp) do not remove.
-
@BarrySmith started a discussion: Leave this one for now. I need to check why it is not being used.