You can copy your DrRacket preferences file to the "defaults" collection. There is some documentation on this here: http://docs.racket-lang.org/drracket/drracket-files.html?q=Preference%20Files#%28part._.Preference_.Files%29
~Leif Andersen On Wed, Aug 12, 2015 at 9:14 AM, Charles Rich <[email protected]> wrote: > Hi Matthias, Thanks for the quick reply. > > We're installing this on all teaching lab and campus machines for students > in our courses. Is there any way to make true, etc., the default, so > students don't have to make this change every time the start up Racket? > > -Chuck > > On Wed, Aug 12, 2015 at 8:51 AM, Matthias Felleisen <[email protected]> > wrote: > >> >> Open the language dialogue. >> Click 'choose details'. >> On the right side, you will see a radio button for true/false/empty vs >> #true/#false/'(). >> >> >> >> >> On Aug 12, 2015, at 8:43 AM, Charles Rich wrote: >> >> > Hi, in the release notes for 6.2.1 it says: >> > >> > * For the How to Design Programs teaching languages, DrRacket offers >> > an option to use the old style for printing the constants `true`, >> > `false`, and `empty` instead of `#true`, `#false`, and `'()`. >> > >> > But after searching a while, I could not find out how to do this. It >> would be a good idea to add a hyperlink to the release notes. >> > >> > Thanks, -Chuck >> > >> > -- >> > 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. >> >> > > > -- > Dr. Charles Rich, Professor, Computer Science Department > <http://www.cs.wpi.edu> > Interactive Media and Game Development Program > <http://www.wpi.edu/academics/imgd/> > Robotics Engineering Program <http://www.wpi.edu/academics/robotics/> > Worcester Polytechnic Institute, Fuller Laboratories B25b > 100 Institute Road, Worcester, MA 01609-2280 > > Email: [email protected] Phone: 508-831-5945 Fax: 508-831-5776 > Home: http://www.cs.wpi.edu/~rich > > -- > 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.
