Eric Schulte writes: > I'd rather not hard-code the value of "/tmp/". Perhaps you could rework > the patch so that it introduces a new customizable variable (including a > documentation string) so that users can set the value for their system. > > Also, please package the patch with git format-patch. Patch is appended. > Thanks, Best regards, Michael.