00:10 (join) spiderweb 00:11 (quit) zuurr: Quit: bye! 00:15 jeapostrophe: mithos28: no, it will conflict 00:16 mithos28: I just did a raco link -d ., in my copy of it. And it got that version, will planet2 do it differently? 00:19 jeapostrophe: racket makes no promises about what order links will be visited in 00:19 jeapostrophe: it is possible it will happen the same as in p2 00:20 mithos28: ah, some I'm just getting lucky. 00:20 mithos28: How is this transition supposed to work then? 00:20 jeapostrophe: you make the package and i delete it and then we're ready to go :) 00:21 jeapostrophe: i doubt anyone really uses it if supposedly it doesn't work anymore, right? 00:22 mithos28: Sounds good. I still need to figure out how to tell planet 2 about my github repo, I'll ping back when thats done. 00:29 (quit) spiderweb: Quit: ERC Version 5.3 (IRC client for Emacs) 00:30 (join) belabartok 00:33 (quit) SrPx: Quit: SrPx 00:36 (join) michel_m 00:37 (quit) michel_m: Client Quit 00:42 (join) bjz 00:47 (quit) _tca: Remote host closed the connection 00:50 (join) SrPx 00:53 (quit) Fare: Ping timeout: 256 seconds 01:10 mithos28: jeapostrophe: How do I tell planet2 about documentation? 01:11 jeapostrophe: you don't 01:12 mithos28: fair enough 01:22 (quit) mceier: Quit: leaving 01:26 mithos28: jeapostrophe: I think I have done everything needed to make a real planet2 package, and also sent a pull request for the deletion of net/websocket from the main repo 01:26 jeapostrophe: great! 01:27 jeapostrophe: we'll get it done real soon 01:27 mithos28: Is there an easy way to switch between my dev version and the released version? 01:34 (quit) zyoung: Remote host closed the connection 01:35 (quit) nejucomo: Ping timeout: 276 seconds 01:44 sw2wolf: ping 01:44 mithos28: sw2wolf: pong 01:44 sw2wolf: notice 01:45 jonrafkind: privmsg 01:46 jeapostrophe: mithos28: what do you mean? dev/released version of what? 01:46 mithos28: my websocket package 01:46 mithos28: where dev is my local git repo, and released is what other people get by using the pns system 01:56 (join) tilde` 02:04 jeapostrophe: i still don't know what you mean... if you have two different installs, then you should have two different racket addon directories 02:04 jeapostrophe: (if you don't have them, then you're doing it wrong) 02:05 mithos28: raco link --list currently has this as the output 02:05 mithos28: root path: "/Users/endobson/proj/racket/websocket" version: #rx"5\\.3\\.1\\.9" 02:05 (join) asvil 02:06 mithos28: And if I do raco pkg install --link websocket 02:06 mithos28: I get the error raco pkg install: package is already installed 02:06 jeapostrophe: ya, you can't have conflicting packages installed 02:07 jeapostrophe: if you want to have multiple versions of racket around, you'll have to set your env variables, like PATH and PLT_ADDONDIR 02:07 jeapostrophe: you wouldn't expect to be able to install multiple of the same (but slightly different) debian package, right? 02:08 mithos28: I don't want multiple versions of racket, I want to switch my installed package between the two 02:08 jeapostrophe: (just looked it up there's no _ in ADDONDIR) 02:08 jeapostrophe: if you want to switch versions, then you could uninstall one and install the other 02:09 jeapostrophe: or have two separate package repositories (with ADDONDIR) 02:09 mithos28: i want the first, and was wondering if there was a way other than install/reinstall 02:09 mithos28: I.e. force install 02:09 jeapostrophe: you can force install 02:09 jeapostrophe: --force 02:10 mithos28: Ok, that will work 02:10 mithos28: I hadn't phrased it as force in my head until trying to explain to you what I wanted 02:13 mithos28: Even with force it is giving me the error of it already being istalled 02:15 jeapostrophe: ah... force only ignores dependencies 02:15 jeapostrophe: given how P2 works, i don't think it's possible to do it otherwise... 02:15 jeapostrophe: other than renaming the dev version to something else 02:16 jeapostrophe: why do you want to do this, btw? 02:16 mithos28: To make sure that the version that is pushed works 02:17 jeapostrophe: why wouldn't it? is it different than what you have? 02:18 (part) sw2wolf: "ERC Version 5.3 (IRC client for Emacs)" 02:18 mithos28: It should work, yes. But that doesn't mean it will 02:19 jeapostrophe: hmm, if you say so 02:20 mithos28: Software is not simple, there are too many parts to just trust that it all works 02:20 mithos28: especially new systems 02:21 jeapostrophe: this software is pretty simple and has lots of test cases 02:21 jeapostrophe: provided the version on github is what you expect, it will work 02:21 jeapostrophe: what do you imagine will go wrong? 02:22 mithos28: Issues with net/websocket being resolved to versions other than the local ones 02:22 mithos28: It was really a sanity check 02:23 mithos28: Is it a known issue if the pns server has a different checksum, then it wont let you download and install? 02:24 (join) mye 02:24 mithos28: a different checksum than the version on github, that is 02:24 jeapostrophe: "issue"? it's a security system to ensure that you aren't being lied to 02:25 jeapostrophe: you can use --ignore-checksums though 02:25 mithos28: but if I manually updated it, it downloaded 02:26 jeapostrophe: "manually updated it"? 02:26 mithos28: thus If I rely on the pns server doing daily updates, and I update the code. Then for the rest of the 24 hour period no one can download the code 02:26 mithos28: went to the edit page on the web ui, and clicked submit 02:27 jeapostrophe: ah, yes, if you update the checksum then it will have the new checksum and they'll match, naturally 02:28 mithos28: So it seems like if I have a package that I work on every day, and update to github every day. Most of the time the checksum on the pns will be wrong, and people won't get the package 02:31 (join) mceier 02:33 (join) myx 02:42 (quit) jeapostrophe: Ping timeout: 255 seconds 02:51 (quit) jonrafkind: Ping timeout: 244 seconds 02:56 (join) ambrosebs 03:06 (join) mustaqeem 03:06 mustaqeem: hello 03:08 mithos28: mustaqeem: Hello 03:08 mustaqeem: I want to use the planet library but Dr. Racket gives me following error 03:08 mustaqeem: (unknown HTTP response code 407) 03:08 mustaqeem: I am working under proxy 03:09 mithos28: Sorry I don't know anything about how that works 03:09 mustaqeem: I have set the proxy in edit->preferences 03:09 mustaqeem: -> browser 03:10 mustaqeem: but don't know where to give authentication detail 03:10 mustaqeem: username and password of the proxy 03:10 mithos28: I would send mail to the list, unless someone else currently on is able to help you 03:11 mustaqeem: ok 03:14 mustaqeem: mithos28 : do u know, how to use http://docs.racket-lang.org/profile/index.html?q=profile#(mod-path._profile)? 03:15 mithos28: nope 03:15 mustaqeem: http://docs.racket-lang.org/profile/index.html?q=profile#(mod-path._profile/render-graphviz) 03:21 (join) jonrafkind 03:31 (quit) mithos28: Quit: mithos28 03:40 (quit) bjz: Quit: Leaving... 03:56 (quit) mustaqeem: Ping timeout: 245 seconds 04:26 (quit) jonrafkind: Read error: Operation timed out 04:35 (join) bniels 04:48 (join) soegaard 04:55 (join) masm 05:18 (join) noelw 05:20 (quit) Nisstyre-laptop: Ping timeout: 255 seconds 05:26 (join) bitonic 05:35 (quit) mye: Quit: mye 05:55 (join) bitonic` 05:56 (quit) bitonic: Ping timeout: 265 seconds 05:57 (nick) bitonic` -> bitonic 06:11 (quit) ambrosebs: Ping timeout: 265 seconds 06:45 (quit) dca: Ping timeout: 255 seconds 06:52 (quit) bniels: Quit: WeeChat 0.3.8 06:52 (join) dca 06:58 (join) mye 06:58 (quit) mceier: Quit: leaving 07:06 (quit) SrPx: Quit: SrPx 07:07 (quit) myx: Ping timeout: 244 seconds 07:19 (join) myx 07:23 (quit) kofno: Read error: Connection reset by peer 07:24 (join) ezrios 07:25 ezrios: Can anyone help out with the Gentoo ebuild for Racket 5.3.1? 07:25 ezrios: I have logs available upon request 07:32 (join) kofno 07:37 (join) skchrko 07:46 (join) sirdancealot7 08:07 ezrios: nevermind, my computer was just running out of RAM 08:07 (part) ezrios: "WeeChat 0.3.9.2" 08:47 (join) RacketCommitBot 08:47 RacketCommitBot: [racket] plt pushed 2 new commits to master: http://git.io/DTAJFg 08:47 RacketCommitBot: racket/master 0f909af Matthew Flatt: ffi/com: add `com-get-property*'... 08:47 RacketCommitBot: racket/master d88e26d Matthew Flatt: racket/date: fix 'iso-8601 formatting... 08:47 (part) RacketCommitBot 08:48 (join) jao 08:48 (quit) jao: Changing host 08:48 (join) jao 08:49 (join) zyoung 08:49 (quit) zyoung: Remote host closed the connection 08:50 (join) zyoung 08:59 (join) netrino 09:04 (quit) kofno: Remote host closed the connection 09:06 (join) francisl 09:08 (quit) masm: Ping timeout: 244 seconds 09:09 (join) masm 09:16 (join) anRch 09:18 (join) kofno 09:20 (join) mizu_no_oto 09:39 (quit) kofno: Read error: Connection reset by peer 09:39 (join) kofno 09:56 (join) Fare 10:00 (quit) mizu_no_oto: Quit: Computer has gone to sleep. 10:05 (join) Draggor 10:08 (join) RacketCommitBot 10:08 RacketCommitBot: [racket] plt pushed 1 new commit to master: http://git.io/QqecDQ 10:08 RacketCommitBot: racket/master dc3f142 Matthew Flatt: planet2: log errors that are otherwise ignored... 10:08 (part) RacketCommitBot 10:14 (join) mizu_no_oto 10:20 (join) jrslepak 10:36 (quit) francisl: Ping timeout: 250 seconds 10:41 (join) bitonic` 10:41 (join) jeapostrophe 10:41 (quit) jeapostrophe: Changing host 10:41 (join) jeapostrophe 10:42 (nick) bitonic` -> bitonic 10:43 (quit) anRch: Quit: anRch 10:45 (quit) mizu_no_oto: Quit: Computer has gone to sleep. 10:57 (join) MayDaniel 11:09 (quit) noelw: Quit: noelw 11:23 (quit) cdidd: Remote host closed the connection 11:24 (quit) soegaard: Quit: soegaard 11:36 (join) qingant 11:38 qingant: hi, anyone have used slideshow,I want to know how to insert source code in slideshow,is there any thing like listings in LaTeX? 11:40 qingant: thx~ If no such thing, is there something like verbatim in LaTeX? 11:43 (join) mizu_no_oto 11:47 (quit) Fare: Ping timeout: 272 seconds 11:55 (quit) Demosthenex: Ping timeout: 252 seconds 11:56 (join) mceier 11:58 (quit) jeapostrophe: Ping timeout: 256 seconds 11:59 (join) didi 12:00 (join) Fare 12:02 (join) Demosthenex 12:05 (join) francisl 12:07 (join) safekeeping_ 12:13 (join) Nisstyre-laptop 12:13 (join) mithos28 12:19 asumu: qingant: `code` will work for Racket code. 12:19 asumu: If you want to insert non-Racket code, lemme look it up... 12:22 asumu: There are a few options. 1) manually format using tt font 2) use LaTeX and stchang's package http://planet.racket-lang.org/display.ss?package=slideshow-tex.plt&owner=stchang 12:22 rudybot: http://tinyurl.com/c8fpa6n 12:23 asumu: (it'd be nice if we had a more convenient way to do this) 12:28 qingant: thank you asummu, I find slideshow-latex ,but it's not documented^ 12:29 qingant: thank you rudybot too. 12:30 qingant: I am trying slideshow-tex, it looks like what i am looking for. 12:38 (quit) francisl: Quit: francisl 12:41 (quit) didi: Read error: Operation timed out 12:52 (join) jonrafkind 12:56 (join) zyoung_ 12:58 (quit) jrslepak: Quit: What happened to Systems A through E? 13:00 (quit) zyoung: Ping timeout: 264 seconds 13:04 (quit) tilde`: Quit: kthxbai 13:04 (quit) mithos28: Quit: mithos28 13:06 (join) hash_table 13:22 (quit) zyoung_: Remote host closed the connection 13:23 (join) zyoung 13:31 (join) francisl 13:33 (quit) jonrafkind: Ping timeout: 264 seconds 13:34 (quit) francisl: Read error: Connection reset by peer 13:35 (join) francisl 13:37 (quit) mceier: Quit: leaving 13:40 (quit) Fare: Ping timeout: 244 seconds 13:42 (quit) asvil: Ping timeout: 260 seconds 13:43 (quit) mizu_no_oto: Quit: ["Textual IRC Client: www.textualapp.com"] 13:45 (join) nejucomo 13:47 (join) bitonic 13:59 (join) mustaqeem 13:59 (quit) francisl: Quit: francisl 14:00 (join) pnpuff 14:14 (quit) mustaqeem: Ping timeout: 245 seconds 14:15 (join) Fare 14:19 (quit) skchrko: Remote host closed the connection 14:22 (quit) bbloom: Quit: Textual IRC Client: www.textualapp.com 14:25 (quit) qingant: Ping timeout: 245 seconds 14:25 (join) bbloom 14:30 (quit) nejucomo: Ping timeout: 276 seconds 14:33 (quit) mye: Quit: mye 14:37 (join) mizu_no_oto 15:05 (quit) Nisstyre-laptop: Read error: Connection reset by peer 15:23 (quit) myx: Quit: ัƒัˆั‘ะป 15:24 (join) soegaard 15:28 (quit) safekeeping_: Ping timeout: 245 seconds 15:55 (quit) Shviller: Read error: Connection reset by peer 15:55 (join) Shviller 15:57 (quit) pnpuff: Quit: "a winter's day in a deep and dark december... ^^" 15:58 (quit) kofno: Remote host closed the connection 15:58 (join) jeapostrophe 15:58 (quit) jeapostrophe: Changing host 15:58 (join) jeapostrophe 16:07 (join) jonrafkind 16:24 (quit) Shviller: Read error: Connection reset by peer 16:28 (join) kofno 16:29 (join) Shviller 16:35 (join) didi 16:37 (quit) mizu_no_oto: Quit: ["Textual IRC Client: www.textualapp.com"] 16:42 (join) mizu_no_oto 16:45 (join) francisl 16:46 (join) nilyaK 17:07 (join) ynniv 17:12 (join) zuurr 17:13 (quit) ynniv: Quit: ynniv 17:14 (join) anRch 17:19 (quit) MayDaniel: Read error: Connection reset by peer 17:34 (quit) nilyaK: Quit: Leaving. 17:35 (quit) karswell: Read error: Connection reset by peer 17:41 (quit) dsantiago: Ping timeout: 240 seconds 17:44 (join) dsantiago 17:45 (quit) hash_table: Ping timeout: 260 seconds 17:45 (join) karswell 17:52 greghendershott: Hi, all. Does anyone here have experience making pull requests over time to a project? 17:52 didi: greghendershott: "over time"? 17:52 greghendershott: (Specifically Racket, which is why I'm asking here. :)) 17:53 greghendershott: I'm trying to be a good doob and create a topic branch with ONLY the commits for the change I'm making. 17:53 greghendershott: But I seem to end up with extra commits once in awhile. 17:53 didi: greghendershott: Do a rebase and squash them. 17:53 greghendershott: Like this one just now: https://github.com/plt/racket/pull/202 17:53 soegaard: Github adds commit to the same branch to open pull requests automatically. 17:54 greghendershott: Right but this is after pull request 1 was accepted and closed. 17:54 soegaard: I have forgotten that too on occasion. 17:54 soegaard: Huh? 17:54 greghendershott: I added a Scribble markdown render mode. One commit. Pull request. Accepted. 17:54 greghendershott: Later I wanted to add another feature. New pull request. Accepted. 17:55 greghendershott: But now I'm getting old commits sneaking in when I'm making new topic branches. 17:55 soegaard: And your repository was updated in the mean time? 17:56 greghendershott: Yes, I did a fetch and merge from upstream/master ("upstream" = the original PLT repo) 17:56 soegaard: That's odd. 17:56 (join) Aune 17:56 greghendershott: I know. I _think_ I'm doing things right but obviously I'm confused. 17:57 (quit) Fare: Ping timeout: 272 seconds 17:57 greghendershott: When you create a topic branch, do you do it off your own forked master, or off the upstream master, or something else? 17:58 soegaard: It says that the commits were added 7 days ago. 17:58 greghendershott: didi: Do you mean even if I create topic branches correctly, I should just expect to nee to rebase/squash sometimes and that's how it goes? 17:58 soegaard: But that doesn't make sense if you just opened a new pull request. 17:58 greghendershott: Yes. 17:59 greghendershott: Hmm, could this somehow be an artifact of how PLT is accepting the pull requests? 17:59 soegaard: Perhaps you just updated the master branch and not the scribble-markdown one? 18:00 greghendershott: You mean maybe I neglected to merge my scribble-markdown branch into my master? 18:01 soegaard: Well, if you pull from the plt/master then you ought to get your own commits from there :-) 18:01 greghendershott: Well that's what I thought. At least for the pull requests that had already been accepted and merged (as these had). 18:02 greghendershott: I am so confused. People do this all the time, how am I not getting this right? Gah. 18:02 soegaard: I made a mistake the other week, so you are not the only one. 18:03 greghendershott: Oh right. :) 18:03 (quit) mizu_no_oto: Ping timeout: 264 seconds 18:03 greghendershott: I have a moderate experience with git but it's been either solo or in projects where I have direct push privs. 18:03 soegaard: And I was just beginning to think I had grokked git :-) 18:05 soegaard: Have you seen? http://www.youtube.com/watch?v=4XpnKHJAok8 18:05 soegaard: Git has really taken over in no time. 18:05 greghendershott: Well I suppose I'll try what didi suggested to rebase / squash. To clean this one up. I just wish I understood how to avoid in first place. 18:07 greghendershott: I haven't seen that yet. I think I'll watch it after I fix this up and am in a better mood to enjoy him. o_O 18:07 (quit) zyoung: Ping timeout: 265 seconds 18:11 (join) Fare 18:13 didi: greghendershott: I'm a sorry but I have to go. But don't squash commits outside your branch. 18:14 greghendershott: didi: OK. Thank you. 18:15 didi: greghendershott: If the master went on after your pull request, don't sweat. If it's an issue to the maintainers they can ask you to rebase your branch on top of the master and make a new pull request. 18:15 greghendershott: In googling I found this https://openshift.redhat.com/community/wiki/github-workflow-for-submitting-pull-requests 18:15 rudybot: http://tinyurl.com/ckoqm2p 18:16 greghendershott: In which it suggest I should rebase the topic branch off master 18:16 didi: greghendershott: Yes, that is the standard. 18:16 greghendershott: Maybe that is the step I'm missing 18:16 greghendershott: Oh. 18:16 didi: But before you publish your changes. 18:16 greghendershott: Well then. :) 18:16 greghendershott: Yes. I can nuke this topic branch and withdraw the pull request and do it over. 18:16 didi: yes. 18:16 greghendershott: I think I'll do that for the practice. 18:16 greghendershott: Thanks! 18:17 didi: Nah, glad to help. 18:17 didi: Don't rebase public stuff. 18:18 (quit) soegaard: Quit: soegaard 18:23 (join) SrPx 18:25 (quit) didi: Ping timeout: 250 seconds 18:25 (quit) anRch: Quit: anRch 18:35 (join) hash_table 18:41 (join) mizu_no_oto 19:02 (quit) bitonic: Ping timeout: 250 seconds 19:02 (quit) jonrafkind: Ping timeout: 255 seconds 19:05 (quit) mizu_no_oto: Quit: ["Textual IRC Client: www.textualapp.com"] 19:13 greghendershott: didi: Just FYI: What ended up working for me was rebasing the topic branch on upstream/aster. `git rebase -i upstream/master`, and deleting (not squashing) the extraneous commits. 19:14 greghendershott: Deleting instead of squashing because the changes from those extraneous commits had already been accepted in previous pull requests. 19:15 greghendershott: The guides I've found talk about rebasing the topic branch on your own forked master (after updating it from upstream), NOT directly rebasing on upstream/master. So ... ?? 19:17 greghendershott: I'm starting to wonder if I borked my forked repo's master branch somehow (??). Maybe I should even nuke it and start over tabula rasa. 19:18 greghendershott: ^ start over = with a whole new forked repo, then be Mr. Measure Ten Times Cut Once 19:25 (join) bjz 19:31 (join) francisl_ 19:32 (quit) francisl: Quit: francisl 19:32 (nick) francisl_ -> francisl 19:43 (quit) Nisstyre: Read error: Connection reset by peer 19:45 (quit) jeapostrophe: Read error: Operation timed out 19:52 (quit) belabartok: Quit: ERC Version 5.3 (IRC client for Emacs) 19:57 (quit) SrPx: Ping timeout: 256 seconds 19:59 (join) zyoung 19:59 (join) sw2wolf 20:01 (join) SrPx 20:05 (quit) masm: Quit: Leaving. 20:13 (quit) SrPx: Ping timeout: 272 seconds 20:16 (join) myx 20:21 (quit) netrino: Quit: Ave! 20:27 (quit) bjz: Quit: Leaving... 20:37 (join) nejucomo 20:39 (join) belabartok 20:45 (join) SrPx 20:52 (quit) nejucomo: Ping timeout: 276 seconds 20:53 (nick) belabartok -> bartok 20:56 (join) nilyaK 20:59 (join) mizu_no_oto 21:12 (join) ambrosebs 21:17 (join) PCChris 21:37 (quit) kofno: Remote host closed the connection 21:37 (join) kofno 21:37 (quit) Aune: Quit: L?mnar 21:43 (join) didi 22:22 bartok: how may I clear the repl? 22:24 (join) dnolen 22:24 didi: bartok: What do you mean? 22:24 bartok: didi: I have racket running in emacs via c-u m-x run-scheme racket 22:24 bartok: how can I make the > stay at the top of the screen? 22:25 didi: bartok: C-l? 22:25 bartok: didi: yes, but when I press enter after entering an expression, it moves back down to the bottom again. 22:26 didi: bartok: A full clean of the buffer depends on the mode you're using. 22:26 bartok: (Inferiror Scheme:run) 22:27 didi: Unfortunately that doesn't tell much. I'm using geiser and I have (REPL A). 22:28 didi: bartok: It does however has a function to clean the buffer: `geiser-repl-clear-buffer' 22:28 (part) sw2wolf: "ERC Version 5.3 (IRC client for Emacs)" 22:28 bartok: ok, I'll check it out. 22:30 didi: bartok: If you want to use geiser specifically for this function, you'll have to get the git version as it's not at the last release. 22:30 bartok: ok 22:34 (quit) cataska: Quit: leaving 22:40 (quit) kofno: Remote host closed the connection 22:44 (join) cataska 22:54 (quit) hash_table: Ping timeout: 265 seconds 22:59 (quit) mizu_no_oto: Quit: ["Textual IRC Client: www.textualapp.com"] 23:02 (join) jonrafkind 23:05 (quit) Shviller: Ping timeout: 260 seconds 23:05 (join) Shviller 23:11 (join) kofno 23:24 (quit) cataska: Remote host closed the connection 23:27 (join) cataska 23:27 (quit) jao: Ping timeout: 255 seconds 23:30 (quit) cataska: Remote host closed the connection 23:33 (join) cataska 23:34 (quit) PCChris: Ping timeout: 244 seconds 23:35 (join) PCChris 23:40 (join) safekeeping_ 23:50 (nick) safekeeping_ -> safekeeping__ 23:54 (quit) sirdancealot7: Ping timeout: 252 seconds 23:57 (quit) zyoung: Remote host closed the connection 23:59 (join) jeapostrophe 23:59 (quit) jeapostrophe: Changing host 23:59 (join) jeapostrophe 23:59 (join) sirdancealot7