Running (find-system-path 'pref-file) in the REPL shows the path to
the preference file. Inside the file there's one line like:
I don't know if directly copying the pref file to another computer
would work but perhaps worth a try.
On Thu, May 24, 2018 at 12:28 PM, Stephen Foster
> I know how to hide/show line numbers from within DrRacket's GUI. But is
> there a way to toggle this from the command line? I have a few hundred
> computers with DrRacket installed, and I want to make them all show line
> numbers by default. (I'd rather not do it by hand.)
> Is there a command I can run or a preferences file I could edit with a
> script? Does anyone know where DrRacket stores user preferences like this?
> 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
For more options, visit https://groups.google.com/d/optout.