(yet another shameless self-promotion, but hopefully this can be of some help.)
If you really want to add menu items for such small tasks, you can use the script-plugin [1] which adds a easily modifiable Scripts menu item. There's already a "Scripts/Utils/Open file directory" menu item there. Feedback welcome :) [1] https://pkgs.racket-lang.org/package/script-plugin On Wed, Jun 28, 2017 at 10:42 PM, Glenn Hoetker <[email protected]> wrote: > I hope this isn't painfully obvious to everyone but me, but I'd found it > really frustrating until I found a solution. So, I thought I'd share. (If > that's not appropriate traffic for the mailing list, I'd appreciate a more > veteran hand letting me know. I'm still observing the norms.) > > Issue: While using DrRacket, I often want to open (in the Finder) the > folder in which the current file is located. Many Mac applications allow > one to do this with command-clicking the icon atop a window, but DrRacket > doesn't. So, I need an alternative. > > Solution: Issue the command > > (system "open .") > > from the Interaction window (one could do it from the Definition window, > although I'm not sure why one would). > > Why it works (I think...): The documentation for "system" indicates that > it operates in the current working directory unless otherwise directed. > DrRacket sets, unless otherwise directed, the current working directory to > the directory of the most recently run file. Since "." indicates the > current directory, the command opens that directory. > > Caveats: 1. Since CWD is set to the most recently run file, you have to > have run the file whose enclosing directory you wish to open. The default > appears to the home directory. 2. I know this works on MacOS. I can't see > why it wouldn't work on Unix systems. Windows scares me, so I have idea if > it would work there. > > -- > 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 [email protected]. > 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 [email protected]. For more options, visit https://groups.google.com/d/optout.
