Thanks for bringing this up. Indeed the compile option from the quickscript menu should work, but it's not ideal.
I'm not a big fan of the copy option. (To me that sounds like asking for trouble, but I may be wrong.) A nicer solution may be to simply check if the scripts are compiled with the current version, and if not just silently compile them on DrRacket startup? The user could also be querried if that's better. On Thu, Jan 31, 2019, 23:02 Greg Trzeciak <gtrzec...@gmail.com wrote: > As long as the user-scripts won't be lost (i.e. the scripts will be copied > over) it sounds OK. > > On Thursday, January 31, 2019 at 10:42:08 PM UTC+1, Robby Findler wrote: >> >> Probably it is best if quickscript (either silently or after asking) >> copied scripts from a version-specific directory to a new >> (version-specific) one, much like how the pkg system works. >> >> Robby >> >> On Thu, Jan 31, 2019 at 3:38 PM Greg Trzeciak <gtrz...@gmail.com> wrote: >> > >> > I had quickscript already installed when upgrading Racket. >> > >> > On DrRacket startup I got the following error: >> > >> > Error in script file "run-in-interactions.rkt": read-compiled-linklet: >> version mismatch >> > expected: "7.2" >> > found: "6.90.0.24" >> > in: >> C:\Users\Myself\AppData\Roaming\Racket\quickscript\user-scripts\compiled\run-in-interactions_rkt.zo >> >> > >> > After closing the message box DrRacket is opening with no problems >> > >> > Deleting compiled folder removes the error on the next start up (and so >> would probably running "Compile Scripts and reload" from Script menu). >> > But since quickscript is now part of DrRacket - the error may reappear >> in the next upgrades since it looks like user-scripts is not recompiled >> during upgrade. >> > >> > G. >> > >> > -- >> > 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...@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.
