{"action":"created","issue":{"url":"https://api.github.com/repos/Kha/elan/issues/11","repository_url":"https://api.github.com/repos/Kha/elan","labels_url":"https://api.github.com/repos/Kha/elan/issues/11/labels{/name}","comments_url":"https://api.github.com/repos/Kha/elan/issues/11/comments","events_url":"https://api.github.com/repos/Kha/elan/issues/11/events","html_url":"https://github.com/Kha/elan/issues/11","id":359565889,"node_id":"MDU6SXNzdWUzNTk1NjU4ODk=","number":11,"title":"Elan fails to find leanpkg on Windows, because the file is a .bat and not .exe","user":{"login":"luxbock","id":2667851,"node_id":"MDQ6VXNlcjI2Njc4NTE=","avatar_url":"https://avatars2.githubusercontent.com/u/2667851?v=4","gravatar_id":"","url":"https://api.github.com/users/luxbock","html_url":"https://github.com/luxbock","followers_url":"https://api.github.com/users/luxbock/followers","following_url":"https://api.github.com/users/luxbock/following{/other_user}","gists_url":"https://api.github.com/users/luxbock/gists{/gist_id}","starred_url":"https://api.github.com/users/luxbock/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/luxbock/subscriptions","organizations_url":"https://api.github.com/users/luxbock/orgs","repos_url":"https://api.github.com/users/luxbock/repos","events_url":"https://api.github.com/users/luxbock/events{/privacy}","received_events_url":"https://api.github.com/users/luxbock/received_events","type":"User","site_admin":false},"labels":[],"state":"closed","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":0,"created_at":"2018-09-12T16:46:26Z","updated_at":"2018-09-17T04:08:58Z","closed_at":"2018-09-17T04:08:58Z","author_association":"NONE","body":"At least this is my understanding based on the following:\r\n\r\n```\r\nPS C:\\Users\\Olli> elan show\r\ninstalled toolchains\r\n--------------------\r\n\r\nstable (default)\r\nnightly-2018-08-23\r\n\r\nactive toolchain\r\n----------------\r\n\r\nstable (default)\r\nLean (version 3.4.1, commit 17fe3decaf8a, Release)\r\n\r\nPS C:\\Users\\Olli> elan which leanpkg\r\nerror: not a file: 'C:\\Users\\Olli\\.elan\\toolchains\\stable\\bin\\leanpkg.exe'\r\nPS C:\\Users\\Olli> ls C:\\Users\\Olli\\.elan\\toolchains\\stable\\bin\\\r\n\r\n\r\n    Directory: C:\\Users\\Olli\\.elan\\toolchains\\stable\\bin\r\n\r\n\r\nMode                LastWriteTime         Length Name\r\n----                -------------         ------ ----\r\n-a----        9/12/2018  10:52 PM       11704118 lean.exe\r\n-a----        9/12/2018  10:52 PM        1631816 leanchecker.exe\r\n-a----        9/12/2018  10:52 PM            746 leanpkg\r\n-a----        9/12/2018  11:08 PM            246 leanpkg.bat\r\n-a----        9/12/2018  10:52 PM          83088 libgcc_s_seh-1.dll\r\n-a----        9/12/2018  10:52 PM         509691 libgmp-10.dll\r\n-a----        9/12/2018  10:52 PM        1435729 libstdc++-6.dll\r\n-a----        9/12/2018  10:52 PM          57317 libwinpthread-1.dll\r\n\r\n\r\nPS C:\\Users\\Olli> which leanpkg\r\n\r\nCommandType     Name                                               Version    Source\r\n-----------     ----                                               -------    ------\r\nApplication     leanpkg.exe                                        0.0.0.0    C:\\Users\\Olli\\.elan\\bin\\leanpkg.exe\r\n\r\n\r\nPS C:\\Users\\Olli> leanpkg --version\r\nerror: toolchain 'stable' does not have the binary `leanpkg.exe`\r\nPS C:\\Users\\Olli>\r\n```"},"comment":{"url":"https://api.github.com/repos/Kha/elan/issues/comments/421886526","html_url":"https://github.com/Kha/elan/issues/11#issuecomment-421886526","issue_url":"https://api.github.com/repos/Kha/elan/issues/11","id":421886526,"node_id":"MDEyOklzc3VlQ29tbWVudDQyMTg4NjUyNg==","user":{"login":"Kha","id":109126,"node_id":"MDQ6VXNlcjEwOTEyNg==","avatar_url":"https://avatars1.githubusercontent.com/u/109126?v=4","gravatar_id":"","url":"https://api.github.com/users/Kha","html_url":"https://github.com/Kha","followers_url":"https://api.github.com/users/Kha/followers","following_url":"https://api.github.com/users/Kha/following{/other_user}","gists_url":"https://api.github.com/users/Kha/gists{/gist_id}","starred_url":"https://api.github.com/users/Kha/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Kha/subscriptions","organizations_url":"https://api.github.com/users/Kha/orgs","repos_url":"https://api.github.com/users/Kha/repos","events_url":"https://api.github.com/users/Kha/events{/privacy}","received_events_url":"https://api.github.com/users/Kha/received_events","type":"User","site_admin":false},"created_at":"2018-09-17T04:08:58Z","updated_at":"2018-09-17T04:08:58Z","author_association":"OWNER","body":"This should be fixed in version 0.7.0."}}
{"actor":{"display_login":"Kha"}}