Re: pandoc on cygwin's shell

[John MacFarlane <jgm-TVLZxgkOlNX2fBVCVOL8/A@public.gmane.org>]

Sure, go ahead and put an issue on GitHub.

+++ Luis Rivera [Jul 25 17 19:44 ]:
>   On Sunday, 23 July 2017 02:39:47 UTC-5, John MacFarlane wrote:
>
>     findExecutable from System.Directory is being used to check
>     for the existence of the program and issue and error if it's
>     not found.
>     The docs for findExecutable say:
>     > On Windows, findExecutable calls the Win32 function
>     > SearchPath, which may search other places before checking
>     > the directories in the PATH environment variable. Where it
>     > actually searches depends on registry settings, but
>     > notably includes the directory containing the current
>     > executable.
>     So that might be a clue about what's happening.
>     We could try removing that check and just letting things
>     fail at the point where we try to run the tex program.
>     But the check is nice because we can give a more informative
>     message early on.
>
>   It this problem worth an issue on GitHub?
>
>   --
>   You received this message because you are subscribed to the Google
>   Groups "pandoc-discuss" group.
>   To unsubscribe from this group and stop receiving emails from it, send
>   an email to [1]pandoc-discuss+unsubscribe-/JYPxA39Uh5TLH3MbocFF+G/Ez6ZCGd0@public.gmane.org
>   To post to this group, send email to
>   [2]pandoc-discuss-/JYPxA39Uh5TLH3MbocFF+G/Ez6ZCGd0@public.gmane.org
>   To view this discussion on the web visit
>   [3]https://groups.google.com/d/msgid/pandoc-discuss/e44f1c65-26b3-4f6a-
>   aa63-f494a48f8245%40googlegroups.com.
>   For more options, visit [4]https://groups.google.com/d/optout.
>
>References
>
>   1. mailto:pandoc-discuss+unsubscribe-/JYPxA39Uh5TLH3MbocFFw@public.gmane.org
>   2. mailto:pandoc-discuss-/JYPxA39Uh5TLH3MbocFFw@public.gmane.org
>   3. https://groups.google.com/d/msgid/pandoc-discuss/e44f1c65-26b3-4f6a-aa63-f494a48f8245-/JYPxA39Uh5TLH3MbocFFw@public.gmane.org?utm_medium=email&utm_source=footer
>   4. https://groups.google.com/d/optout