hundreds-father-404
07/29/2020, 6:39 PMpex
, rather than something like ./pex
.witty-crayon-22786
07/29/2020, 6:46 PMhundreds-father-404
07/29/2020, 6:46 PMwitty-crayon-22786
07/29/2020, 6:47 PM./
might not be necessary in this context… afaik, that’s a shell affordancewitty-crayon-22786
07/29/2020, 6:47 PMpex.pex
?hundreds-father-404
07/29/2020, 6:48 PMpex
. By using ./pex
, we are disambiguating that we want the local file pex
, and not to search the PATHwitty-crayon-22786
07/29/2020, 6:48 PMwitty-crayon-22786
07/29/2020, 6:48 PMwitty-crayon-22786
07/29/2020, 6:49 PMwitty-crayon-22786
07/29/2020, 6:49 PMwitty-crayon-22786
07/29/2020, 6:49 PMhundreds-father-404
07/29/2020, 6:50 PM./
? If anything, it makes the error messages less confusing imowitty-crayon-22786
07/29/2020, 6:50 PMwitty-crayon-22786
07/29/2020, 6:51 PMwitty-crayon-22786
07/29/2020, 6:51 PM--no-process-execution-cleanup-local-dirs
hundreds-father-404
07/29/2020, 6:52 PMExternalTool
works is that you download either a single file or an archive, then set generate_exe()
to say what the path is to the binary within that archive
There was an affordance that if the download is a single file, you can leave off the method, and we’ll guess the name of the exe. But we weren’t prefixing that with ./
witty-crayon-22786
07/29/2020, 6:52 PMwitty-crayon-22786
07/29/2020, 6:53 PMpython
here.hundreds-father-404
07/29/2020, 6:53 PMwitty-crayon-22786
07/29/2020, 6:54 PMhundreds-father-404
07/29/2020, 6:54 PM