{"action":"created","issue":{"url":"https://api.github.com/repos/idris-hackers/atom-language-idris/issues/89","labels_url":"https://api.github.com/repos/idris-hackers/atom-language-idris/issues/89/labels{/name}","comments_url":"https://api.github.com/repos/idris-hackers/atom-language-idris/issues/89/comments","events_url":"https://api.github.com/repos/idris-hackers/atom-language-idris/issues/89/events","html_url":"https://github.com/idris-hackers/atom-language-idris/issues/89","id":118166545,"number":89,"title":"How to Edit Binary Location in Config?","user":{"login":"kevinmeredith","id":1967302,"avatar_url":"https://avatars.githubusercontent.com/u/1967302?v=3","gravatar_id":"","url":"https://api.github.com/users/kevinmeredith","html_url":"https://github.com/kevinmeredith","followers_url":"https://api.github.com/users/kevinmeredith/followers","following_url":"https://api.github.com/users/kevinmeredith/following{/other_user}","gists_url":"https://api.github.com/users/kevinmeredith/gists{/gist_id}","starred_url":"https://api.github.com/users/kevinmeredith/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/kevinmeredith/subscriptions","organizations_url":"https://api.github.com/users/kevinmeredith/orgs","repos_url":"https://api.github.com/users/kevinmeredith/repos","events_url":"https://api.github.com/users/kevinmeredith/events{/privacy}","received_events_url":"https://api.github.com/users/kevinmeredith/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":1,"created_at":"2015-11-21T03:30:46Z","updated_at":"2015-11-21T10:14:10Z","closed_at":null,"body":"The docs say:\r\n\r\n>The only thing you might need to set is the path to the idris executable in the config of this package.\r\n\r\nWhen I click `Packages | Idris | Typecheck`, I get the following error:\r\n\r\n<img width=\"458\" alt=\"screen shot 2015-11-20 at 10 31 51 pm\" src=\"https://cloud.githubusercontent.com/assets/1967302/11316470/98c935ca-8fd6-11e5-8f85-a930621c4f13.png\">\r\n\r\nCould you please tell me which file I should modify to point to the `idris` binary?\r\n\r\nHere's what I tried without success:\r\n\r\n```\r\n$pwd\r\n/Users/kevin/.atom/packages/language-idris\r\n$find . | grep -i config\r\n./.editorconfig\r\n./node_modules/@cycle/core/.editorconfig\r\n./node_modules/@cycle/core/node_modules/rx/src/core/expressions/web.config\r\n./node_modules/@cycle/core/node_modules/rx/src/core/expressions/web.Debug.config\r\n./node_modules/@cycle/core/node_modules/rx/src/core/expressions/web.Release.config\r\n./node_modules/@cycle/core/node_modules/rx/ts/tsconfig.json\r\n./node_modules/@cycle/dom/.editorconfig\r\n./node_modules/@cycle/dom/node_modules/vdom-to-html/property-config.js\r\n./node_modules/@cycle/dom/node_modules/virtual-dom/.editorconfig\r\n./node_modules/atom-message-panel/.editorconfig\r\n$cat .editorconfig \r\n# http://editorconfig.org\r\nroot = true\r\n\r\n[*]\r\nindent_style = space\r\nindent_size = 2\r\n```\r\n\r\nThanks!"},"comment":{"url":"https://api.github.com/repos/idris-hackers/atom-language-idris/issues/comments/158621370","html_url":"https://github.com/idris-hackers/atom-language-idris/issues/89#issuecomment-158621370","issue_url":"https://api.github.com/repos/idris-hackers/atom-language-idris/issues/89","id":158621370,"user":{"login":"archaeron","id":471043,"avatar_url":"https://avatars.githubusercontent.com/u/471043?v=3","gravatar_id":"","url":"https://api.github.com/users/archaeron","html_url":"https://github.com/archaeron","followers_url":"https://api.github.com/users/archaeron/followers","following_url":"https://api.github.com/users/archaeron/following{/other_user}","gists_url":"https://api.github.com/users/archaeron/gists{/gist_id}","starred_url":"https://api.github.com/users/archaeron/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/archaeron/subscriptions","organizations_url":"https://api.github.com/users/archaeron/orgs","repos_url":"https://api.github.com/users/archaeron/repos","events_url":"https://api.github.com/users/archaeron/events{/privacy}","received_events_url":"https://api.github.com/users/archaeron/received_events","type":"User","site_admin":false},"created_at":"2015-11-21T10:14:10Z","updated_at":"2015-11-21T10:14:10Z","body":"Hello\r\nif you go to the settings in atom (Windows: File->Settings) there is left a tab Packages.\r\nIf you click there and then search for `language-idris` in the search that appears you should see something like this:\r\n![idris-settings](https://cloud.githubusercontent.com/assets/471043/11317978/ef4f086a-9040-11e5-94c1-62277c6dec60.PNG)\r\n\r\nThere you can click on `settings` and you're there :)"}}