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-dirshundreds-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