Re: [racket-users] Way to open DrRacket at a specific file line?
Ah: with the command line the initial time I think it can be made to work. I was worried about the communication of positions later on. Robby On Friday, May 29, 2015, Laurent laurent.ors...@gmail.com wrote: I was optimistic this could work because when you launch DrRacket with bad flags it tries to open files with these names, at least on Ubuntu: $ drracket my-file.rkt --line will try to open the file --line and complain with a GUI message. So I guess that means the non recognized flags are sent to the `command-line` arguments of DrRacket's main.rkt. I didn't know about raco pkg update --clone, that's cool! On Fri, May 29, 2015 at 12:22 AM, Robby Findler ro...@eecs.northwestern.edu javascript:_e(%7B%7D,'cvml','ro...@eecs.northwestern.edu'); wrote: This is fine advice. If you wanted to prepare just a little bit more, you might run raco pkg update --clone drracket (and then respond yes to the prompt). This would, in the directory you're in, create a drracket sub directory and a few others that contain the source code of DrRacket, linked to the git repository where the source lives. You could then use the usual git commands to set up a pull request. As for the earlier comments, about the files-to-open definitions, etc, I'm not sure that that path works since the OS is in control of what information gets set to Racket (and then interpreted by DrRacket) I believe. But creating a little script that makes a network connection could work. Alternatively, you could write something inside DrRacket that mimic'd the GUI and then make direct calls to open the files and jump to appropriate line numbers. You would start by reading the documentation about DrRacket plugins, either way, I suppose. hth, Robby On Thu, May 28, 2015 at 12:42 PM, Laurent laurent.ors...@gmail.com javascript:_e(%7B%7D,'cvml','laurent.ors...@gmail.com'); wrote: Regarding contribution, this should at least be a good start: http://blog.racket-lang.org/2012/11/tutorial-contributing-to-racket.html http://www.greghendershott.com/2013/04/a-guide-for-infrequent-contributors-to-racket.html However, note that racket has been split into many different packages relatively recently, leading to DrRacket being in a separate package. But if you just want to hack it without having to think about contributing for now, I think you can just download and install Racket normally in a local directory, make the changes you want to the files in the drracket subdirectory, make sure you recompile the collections with `raco setup drracket` for example, and restart drracket. Once you're happy with your result, you can start wondering about how to submit your changes. (Someone correct me if this is a bad advice!) On Thu, May 28, 2015 at 6:18 PM, Laurent laurent.ors...@gmail.com javascript:_e(%7B%7D,'cvml','laurent.ors...@gmail.com'); wrote: For what it's worth, I think these are some of the relevant lines: https://github.com/racket/drracket/blob/21c155c46c58c5d01ff984df27a77c19f4481640/drracket/drracket/private/drracket-normal.rkt#L19 https://github.com/racket/drracket/blob/21c155c46c58c5d01ff984df27a77c19f4481640/drracket/drracket/private/drracket-normal.rkt#L48 https://github.com/racket/drracket/blob/21c155c46c58c5d01ff984df27a77c19f4481640/drracket/drracket/private/main.rkt#L832 https://github.com/racket/drracket/blob/21c155c46c58c5d01ff984df27a77c19f4481640/drracket/drracket/private/main.rkt#L850 Instead of keeping only the #:args arguments and treat them all as files, one could then add more parsing to the command-line form and retrieve line numbers. The last line above might be where something about setting the carret position could be done. On Thu, May 28, 2015 at 5:20 PM, Josh Grams j...@qualdan.com javascript:_e(%7B%7D,'cvml','j...@qualdan.com'); wrote: On 2015-05-28 09:59AM, Matthias Felleisen wrote: I know DrRacket has some downsides, but I sure wish many more people would see the light, use it, and help identify and better yet fix the problems. I was interested in that, but couldn't figure out how to build it. I had found a couple of things which seemed like they might be easy beginner tasks and started to dive into the source code, but...it took me a while to even *find* the git repository containing DrRacket, and then I couldn't figure out how to build it, even after a couple of hours of tinkering and digging through the code and docs. I asked how to build it from source, but just got pointed to the snapshot binaries instead of getting a real answer. --Josh -- You received this message because you are subscribed to the Google Groups Racket Users group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com javascript:_e(%7B%7D,'cvml','racket-users%2bunsubscr...@googlegroups.com'); . For more options, visit
Re: [racket-users] Way to open DrRacket at a specific file line?
I was optimistic this could work because when you launch DrRacket with bad flags it tries to open files with these names, at least on Ubuntu: $ drracket my-file.rkt --line will try to open the file --line and complain with a GUI message. So I guess that means the non recognized flags are sent to the `command-line` arguments of DrRacket's main.rkt. I didn't know about raco pkg update --clone, that's cool! On Fri, May 29, 2015 at 12:22 AM, Robby Findler ro...@eecs.northwestern.edu wrote: This is fine advice. If you wanted to prepare just a little bit more, you might run raco pkg update --clone drracket (and then respond yes to the prompt). This would, in the directory you're in, create a drracket sub directory and a few others that contain the source code of DrRacket, linked to the git repository where the source lives. You could then use the usual git commands to set up a pull request. As for the earlier comments, about the files-to-open definitions, etc, I'm not sure that that path works since the OS is in control of what information gets set to Racket (and then interpreted by DrRacket) I believe. But creating a little script that makes a network connection could work. Alternatively, you could write something inside DrRacket that mimic'd the GUI and then make direct calls to open the files and jump to appropriate line numbers. You would start by reading the documentation about DrRacket plugins, either way, I suppose. hth, Robby On Thu, May 28, 2015 at 12:42 PM, Laurent laurent.ors...@gmail.com wrote: Regarding contribution, this should at least be a good start: http://blog.racket-lang.org/2012/11/tutorial-contributing-to-racket.html http://www.greghendershott.com/2013/04/a-guide-for-infrequent-contributors-to-racket.html However, note that racket has been split into many different packages relatively recently, leading to DrRacket being in a separate package. But if you just want to hack it without having to think about contributing for now, I think you can just download and install Racket normally in a local directory, make the changes you want to the files in the drracket subdirectory, make sure you recompile the collections with `raco setup drracket` for example, and restart drracket. Once you're happy with your result, you can start wondering about how to submit your changes. (Someone correct me if this is a bad advice!) On Thu, May 28, 2015 at 6:18 PM, Laurent laurent.ors...@gmail.com wrote: For what it's worth, I think these are some of the relevant lines: https://github.com/racket/drracket/blob/21c155c46c58c5d01ff984df27a77c19f4481640/drracket/drracket/private/drracket-normal.rkt#L19 https://github.com/racket/drracket/blob/21c155c46c58c5d01ff984df27a77c19f4481640/drracket/drracket/private/drracket-normal.rkt#L48 https://github.com/racket/drracket/blob/21c155c46c58c5d01ff984df27a77c19f4481640/drracket/drracket/private/main.rkt#L832 https://github.com/racket/drracket/blob/21c155c46c58c5d01ff984df27a77c19f4481640/drracket/drracket/private/main.rkt#L850 Instead of keeping only the #:args arguments and treat them all as files, one could then add more parsing to the command-line form and retrieve line numbers. The last line above might be where something about setting the carret position could be done. On Thu, May 28, 2015 at 5:20 PM, Josh Grams j...@qualdan.com wrote: On 2015-05-28 09:59AM, Matthias Felleisen wrote: I know DrRacket has some downsides, but I sure wish many more people would see the light, use it, and help identify and better yet fix the problems. I was interested in that, but couldn't figure out how to build it. I had found a couple of things which seemed like they might be easy beginner tasks and started to dive into the source code, but...it took me a while to even *find* the git repository containing DrRacket, and then I couldn't figure out how to build it, even after a couple of hours of tinkering and digging through the code and docs. I asked how to build it from source, but just got pointed to the snapshot binaries instead of getting a real answer. --Josh -- You received this message because you are subscribed to the Google Groups Racket Users group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout. -- You received this message because you are subscribed to the Google Groups Racket Users group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout. -- You received this message because you are subscribed to the Google Groups Racket Users group. To unsubscribe from this group and stop receiving emails from it, send an email to
Re: [racket-users] Way to open DrRacket at a specific file line?
I see. I suppose that on the second call to $ drracket -singleInstance, it's main.rkt that is visited again? I'd be surprised if singleInstance discarded all the flags though. Instead of flags though, one could write something like file.rkt@12,15 to specify the line and column, so that the OS thinks it's all a filename. Or maybe separate file.rkt from @... with a space if one worries about filenames ending in @number[,number]. On Fri, May 29, 2015 at 1:27 PM, Robby Findler ro...@eecs.northwestern.edu wrote: Ah: with the command line the initial time I think it can be made to work. I was worried about the communication of positions later on. Robby On Friday, May 29, 2015, Laurent laurent.ors...@gmail.com wrote: I was optimistic this could work because when you launch DrRacket with bad flags it tries to open files with these names, at least on Ubuntu: $ drracket my-file.rkt --line will try to open the file --line and complain with a GUI message. So I guess that means the non recognized flags are sent to the `command-line` arguments of DrRacket's main.rkt. I didn't know about raco pkg update --clone, that's cool! On Fri, May 29, 2015 at 12:22 AM, Robby Findler ro...@eecs.northwestern.edu wrote: This is fine advice. If you wanted to prepare just a little bit more, you might run raco pkg update --clone drracket (and then respond yes to the prompt). This would, in the directory you're in, create a drracket sub directory and a few others that contain the source code of DrRacket, linked to the git repository where the source lives. You could then use the usual git commands to set up a pull request. As for the earlier comments, about the files-to-open definitions, etc, I'm not sure that that path works since the OS is in control of what information gets set to Racket (and then interpreted by DrRacket) I believe. But creating a little script that makes a network connection could work. Alternatively, you could write something inside DrRacket that mimic'd the GUI and then make direct calls to open the files and jump to appropriate line numbers. You would start by reading the documentation about DrRacket plugins, either way, I suppose. hth, Robby On Thu, May 28, 2015 at 12:42 PM, Laurent laurent.ors...@gmail.com wrote: Regarding contribution, this should at least be a good start: http://blog.racket-lang.org/2012/11/tutorial-contributing-to-racket.html http://www.greghendershott.com/2013/04/a-guide-for-infrequent-contributors-to-racket.html However, note that racket has been split into many different packages relatively recently, leading to DrRacket being in a separate package. But if you just want to hack it without having to think about contributing for now, I think you can just download and install Racket normally in a local directory, make the changes you want to the files in the drracket subdirectory, make sure you recompile the collections with `raco setup drracket` for example, and restart drracket. Once you're happy with your result, you can start wondering about how to submit your changes. (Someone correct me if this is a bad advice!) On Thu, May 28, 2015 at 6:18 PM, Laurent laurent.ors...@gmail.com wrote: For what it's worth, I think these are some of the relevant lines: https://github.com/racket/drracket/blob/21c155c46c58c5d01ff984df27a77c19f4481640/drracket/drracket/private/drracket-normal.rkt#L19 https://github.com/racket/drracket/blob/21c155c46c58c5d01ff984df27a77c19f4481640/drracket/drracket/private/drracket-normal.rkt#L48 https://github.com/racket/drracket/blob/21c155c46c58c5d01ff984df27a77c19f4481640/drracket/drracket/private/main.rkt#L832 https://github.com/racket/drracket/blob/21c155c46c58c5d01ff984df27a77c19f4481640/drracket/drracket/private/main.rkt#L850 Instead of keeping only the #:args arguments and treat them all as files, one could then add more parsing to the command-line form and retrieve line numbers. The last line above might be where something about setting the carret position could be done. On Thu, May 28, 2015 at 5:20 PM, Josh Grams j...@qualdan.com wrote: On 2015-05-28 09:59AM, Matthias Felleisen wrote: I know DrRacket has some downsides, but I sure wish many more people would see the light, use it, and help identify and better yet fix the problems. I was interested in that, but couldn't figure out how to build it. I had found a couple of things which seemed like they might be easy beginner tasks and started to dive into the source code, but...it took me a while to even *find* the git repository containing DrRacket, and then I couldn't figure out how to build it, even after a couple of hours of tinkering and digging through the code and docs. I asked how to build it from source, but just got pointed to the snapshot binaries instead of getting a real answer. --Josh -- You received this message because you are
Re: [racket-users] Way to open DrRacket at a specific file line?
This is fine advice. If you wanted to prepare just a little bit more, you might run raco pkg update --clone drracket (and then respond yes to the prompt). This would, in the directory you're in, create a drracket sub directory and a few others that contain the source code of DrRacket, linked to the git repository where the source lives. You could then use the usual git commands to set up a pull request. As for the earlier comments, about the files-to-open definitions, etc, I'm not sure that that path works since the OS is in control of what information gets set to Racket (and then interpreted by DrRacket) I believe. But creating a little script that makes a network connection could work. Alternatively, you could write something inside DrRacket that mimic'd the GUI and then make direct calls to open the files and jump to appropriate line numbers. You would start by reading the documentation about DrRacket plugins, either way, I suppose. hth, Robby On Thu, May 28, 2015 at 12:42 PM, Laurent laurent.ors...@gmail.com wrote: Regarding contribution, this should at least be a good start: http://blog.racket-lang.org/2012/11/tutorial-contributing-to-racket.html http://www.greghendershott.com/2013/04/a-guide-for-infrequent-contributors-to-racket.html However, note that racket has been split into many different packages relatively recently, leading to DrRacket being in a separate package. But if you just want to hack it without having to think about contributing for now, I think you can just download and install Racket normally in a local directory, make the changes you want to the files in the drracket subdirectory, make sure you recompile the collections with `raco setup drracket` for example, and restart drracket. Once you're happy with your result, you can start wondering about how to submit your changes. (Someone correct me if this is a bad advice!) On Thu, May 28, 2015 at 6:18 PM, Laurent laurent.ors...@gmail.com wrote: For what it's worth, I think these are some of the relevant lines: https://github.com/racket/drracket/blob/21c155c46c58c5d01ff984df27a77c19f4481640/drracket/drracket/private/drracket-normal.rkt#L19 https://github.com/racket/drracket/blob/21c155c46c58c5d01ff984df27a77c19f4481640/drracket/drracket/private/drracket-normal.rkt#L48 https://github.com/racket/drracket/blob/21c155c46c58c5d01ff984df27a77c19f4481640/drracket/drracket/private/main.rkt#L832 https://github.com/racket/drracket/blob/21c155c46c58c5d01ff984df27a77c19f4481640/drracket/drracket/private/main.rkt#L850 Instead of keeping only the #:args arguments and treat them all as files, one could then add more parsing to the command-line form and retrieve line numbers. The last line above might be where something about setting the carret position could be done. On Thu, May 28, 2015 at 5:20 PM, Josh Grams j...@qualdan.com wrote: On 2015-05-28 09:59AM, Matthias Felleisen wrote: I know DrRacket has some downsides, but I sure wish many more people would see the light, use it, and help identify and better yet fix the problems. I was interested in that, but couldn't figure out how to build it. I had found a couple of things which seemed like they might be easy beginner tasks and started to dive into the source code, but...it took me a while to even *find* the git repository containing DrRacket, and then I couldn't figure out how to build it, even after a couple of hours of tinkering and digging through the code and docs. I asked how to build it from source, but just got pointed to the snapshot binaries instead of getting a real answer. --Josh -- You received this message because you are subscribed to the Google Groups Racket Users group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout. -- You received this message because you are subscribed to the Google Groups Racket Users group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout. -- You received this message because you are subscribed to the Google Groups Racket Users group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
Re: [racket-users] Way to open DrRacket at a specific file line?
For what it's worth, I think these are some of the relevant lines: https://github.com/racket/drracket/blob/21c155c46c58c5d01ff984df27a77c19f4481640/drracket/drracket/private/drracket-normal.rkt#L19 https://github.com/racket/drracket/blob/21c155c46c58c5d01ff984df27a77c19f4481640/drracket/drracket/private/drracket-normal.rkt#L48 https://github.com/racket/drracket/blob/21c155c46c58c5d01ff984df27a77c19f4481640/drracket/drracket/private/main.rkt#L832 https://github.com/racket/drracket/blob/21c155c46c58c5d01ff984df27a77c19f4481640/drracket/drracket/private/main.rkt#L850 Instead of keeping only the #:args arguments and treat them all as files, one could then add more parsing to the command-line form and retrieve line numbers. The last line above might be where something about setting the carret position could be done. On Thu, May 28, 2015 at 5:20 PM, Josh Grams j...@qualdan.com wrote: On 2015-05-28 09:59AM, Matthias Felleisen wrote: I know DrRacket has some downsides, but I sure wish many more people would see the light, use it, and help identify and better yet fix the problems. I was interested in that, but couldn't figure out how to build it. I had found a couple of things which seemed like they might be easy beginner tasks and started to dive into the source code, but...it took me a while to even *find* the git repository containing DrRacket, and then I couldn't figure out how to build it, even after a couple of hours of tinkering and digging through the code and docs. I asked how to build it from source, but just got pointed to the snapshot binaries instead of getting a real answer. --Josh -- You received this message because you are subscribed to the Google Groups Racket Users group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout. -- You received this message because you are subscribed to the Google Groups Racket Users group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
Re: [racket-users] Way to open DrRacket at a specific file line?
Regarding contribution, this should at least be a good start: http://blog.racket-lang.org/2012/11/tutorial-contributing-to-racket.html http://www.greghendershott.com/2013/04/a-guide-for-infrequent-contributors-to-racket.html However, note that racket has been split into many different packages relatively recently, leading to DrRacket being in a separate package. But if you just want to hack it without having to think about contributing for now, I think you can just download and install Racket normally in a local directory, make the changes you want to the files in the drracket subdirectory, make sure you recompile the collections with `raco setup drracket` for example, and restart drracket. Once you're happy with your result, you can start wondering about how to submit your changes. (Someone correct me if this is a bad advice!) On Thu, May 28, 2015 at 6:18 PM, Laurent laurent.ors...@gmail.com wrote: For what it's worth, I think these are some of the relevant lines: https://github.com/racket/drracket/blob/21c155c46c58c5d01ff984df27a77c19f4481640/drracket/drracket/private/drracket-normal.rkt#L19 https://github.com/racket/drracket/blob/21c155c46c58c5d01ff984df27a77c19f4481640/drracket/drracket/private/drracket-normal.rkt#L48 https://github.com/racket/drracket/blob/21c155c46c58c5d01ff984df27a77c19f4481640/drracket/drracket/private/main.rkt#L832 https://github.com/racket/drracket/blob/21c155c46c58c5d01ff984df27a77c19f4481640/drracket/drracket/private/main.rkt#L850 Instead of keeping only the #:args arguments and treat them all as files, one could then add more parsing to the command-line form and retrieve line numbers. The last line above might be where something about setting the carret position could be done. On Thu, May 28, 2015 at 5:20 PM, Josh Grams j...@qualdan.com wrote: On 2015-05-28 09:59AM, Matthias Felleisen wrote: I know DrRacket has some downsides, but I sure wish many more people would see the light, use it, and help identify and better yet fix the problems. I was interested in that, but couldn't figure out how to build it. I had found a couple of things which seemed like they might be easy beginner tasks and started to dive into the source code, but...it took me a while to even *find* the git repository containing DrRacket, and then I couldn't figure out how to build it, even after a couple of hours of tinkering and digging through the code and docs. I asked how to build it from source, but just got pointed to the snapshot binaries instead of getting a real answer. --Josh -- You received this message because you are subscribed to the Google Groups Racket Users group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout. -- You received this message because you are subscribed to the Google Groups Racket Users group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
Re: [racket-users] Way to open DrRacket at a specific file line?
On May 28, 2015, at 12:20 PM, Josh Grams wrote: I asked how to build it from source, but just got pointed to the snapshot binaries instead of getting a real answer. That's a serious mistake and I apologize. It shouldn't happen -- Matthias -- You received this message because you are subscribed to the Google Groups Racket Users group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
Re: [racket-users] Way to open DrRacket at a specific file line?
Do you mean opening the file from a menu within DrRacket or from the outside, like from the command line? Hi Laurent, thanks for your answer. Yes, I mean from the command line (more specifically I need it to be launched as a system command, which is almost the same). I am on Linux but I think if this feature exist it will be multiplatform. I have this little script which extract TODO lines alike from a collection of source files and present them nicely formatted in a webpage served locally. I can click on one of them and open the specified location on gvim. I'd like to do the same with DrRacket. -- You received this message because you are subscribed to the Google Groups Racket Users group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
Re: [racket-users] Way to open DrRacket at a specific file line?
Hi Lux, Do you mean opening the file from a menu within DrRacket or from the outside, like from the command line? On Thu, May 28, 2015 at 8:40 AM, Lux glsdes...@gmail.com wrote: As much as I love vim/gvim and configured it to do anything I want, I can not code anymore without DrRacket. Something I miss is the ability to open a file (in an existing istance) in a tab at specific line number (bonus points if also column). Tried searching around with no success... Any idea? -- You received this message because you are subscribed to the Google Groups Racket Users group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout. -- You received this message because you are subscribed to the Google Groups Racket Users group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
Re: [racket-users] Way to open DrRacket at a specific file line?
Ok. Some elements of answer: - DrRacket can be started with the option -singleInstance to make sure that an existing window is reused to open new files. This option must be used each time the `drracket` executable is called, so it's better to simply make an alias. This also requires libunique to be installed (e.g., sudo apt-get install libunique-1.0.0). - `man drracket` seems to suggest that there's no way to pass any information to the DrRacket instance other than file names. - The right thing to do here would be to modify DrRacket to accept lines and columns. - I know it's possible to control the cursor position from within DrRacket once we have the info of the line. Something like that for example: https://github.com/Metaxal/script-plugin/blob/master/examples/goto-line.rkt - One (portable) workaround is to listen to a specific socket and make a small client that sends information through that socket when executing something like `racket -l send-to-drracket-socket -- file line` that sends relevant info to the aforementioned socket, but that sounds overkill for just this feature (although this socket could in principle be used for any interaction with DrRacket from the outside). On Thu, May 28, 2015 at 11:54 AM, Lux glsdes...@gmail.com wrote: Do you mean opening the file from a menu within DrRacket or from the outside, like from the command line? Hi Laurent, thanks for your answer. Yes, I mean from the command line (more specifically I need it to be launched as a system command, which is almost the same). I am on Linux but I think if this feature exist it will be multiplatform. I have this little script which extract TODO lines alike from a collection of source files and present them nicely formatted in a webpage served locally. I can click on one of them and open the specified location on gvim. I'd like to do the same with DrRacket. -- You received this message because you are subscribed to the Google Groups Racket Users group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout. -- You received this message because you are subscribed to the Google Groups Racket Users group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
Re: [racket-users] Way to open DrRacket at a specific file line?
I see it is possible to do now, but require some not negligible amount of work, at least at this time for me... Thanks for the informations. I will continue to search for an hack on background, nonetheless... I will let you all know if I find something. Ok. Some elements of answer: - DrRacket can be started with the option -singleInstance to make sure that an existing window is reused to open new files. This option must be used each time the `drracket` executable is called, so it's better to simply make an alias. This also requires libunique to be installed (e.g., sudo apt-get install libunique-1.0.0). - `man drracket` seems to suggest that there's no way to pass any information to the DrRacket instance other than file names. - The right thing to do here would be to modify DrRacket to accept lines and columns. - I know it's possible to control the cursor position from within DrRacket once we have the info of the line. Something like that for example: https://github.com/Metaxal/script-plugin/blob/master/examples/goto-line.rkt - One (portable) workaround is to listen to a specific socket and make a small client that sends information through that socket when executing something like `racket -l send-to-drracket-socket -- file line` that sends relevant info to the aforementioned socket, but that sounds overkill for just this feature (although this socket could in principle be used for any interaction with DrRacket from the outside). -- You received this message because you are subscribed to the Google Groups Racket Users group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
Re: [racket-users] Way to open DrRacket at a specific file line?
On May 28, 2015, at 3:40 AM, Lux glsdes...@gmail.com wrote: I can not code anymore without DrRacket. +1 I know DrRacket has some downsides, but I sure wish many more people would see the light, use it, and help identify and better yet fix the problems. Thanks for the vote of confidence -- Matthias -- You received this message because you are subscribed to the Google Groups Racket Users group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
Re: [racket-users] Way to open DrRacket at a specific file line?
OFF-TOPIC: I feel like I can do anything, because of this I can not thank you and all others for your work enough. Just to let you know my feelings and appreciation. +1 I know DrRacket has some downsides, but I sure wish many more people would see the light, use it, and help identify and better yet fix the problems. Thanks for the vote of confidence -- Matthias -- You received this message because you are subscribed to the Google Groups Racket Users group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
Re: [racket-users] Way to open DrRacket at a specific file line?
On 2015-05-28 09:59AM, Matthias Felleisen wrote: I know DrRacket has some downsides, but I sure wish many more people would see the light, use it, and help identify and better yet fix the problems. I was interested in that, but couldn't figure out how to build it. I had found a couple of things which seemed like they might be easy beginner tasks and started to dive into the source code, but...it took me a while to even *find* the git repository containing DrRacket, and then I couldn't figure out how to build it, even after a couple of hours of tinkering and digging through the code and docs. I asked how to build it from source, but just got pointed to the snapshot binaries instead of getting a real answer. --Josh -- You received this message because you are subscribed to the Google Groups Racket Users group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
