Re: [racket-users] DrRacket prefs?

[Stephen Foster]

Wow! This is great, thanks!

On Thu, May 24, 2018 at 11:47 AM Robby Findler 
wrote:

> It may be easier to use the higher-level library, calling
> preferences:set-default and preferences:set. Using that approach has
> the advantage you don't need to know all of the prefs (that are
> machine config and OS specific, generally), but it has the
> disadvantage that you need to figure out what the right values are at
> that level. But these files have some useful information:
>
>
> https://github.com/racket/drracket/blob/master/drracket/drracket/private/main.rkt
>
>
> https://github.com/racket/gui/blob/master/gui-lib/framework/private/main.rkt
>
> Here's a program that sets that particular preference (note that this
> is user-specific):
>
> #lang racket
> (require framework/preferences)
> (preferences:set-default 'drracket:show-line-numbers? #t boolean?)
> (preferences:set 'drracket:show-line-numbers? #t)
>
> Robby
>
>
> On Thu, May 24, 2018 at 1:35 PM, Stephen Foster 
> wrote:
> > Nice!  I'll try that!
> >
> > On Thu, May 24, 2018 at 11:34 AM Shu-Hung You
> >  wrote:
> >>
> >> Hi Stephen,
> >>
> >> Running (find-system-path 'pref-file) in the REPL shows the path to
> >> the preference file. Inside the file there's one line like:
> >>
> >> (plt:framework-pref:framework:display-line-numbers #t)
> >>
> >> 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
> >>  wrote:
> >> > Hi,
> >> >
> >> > 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?
> >> >
> >> > --Stephen
> >> >
> >> > --
> >> > 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.
> >
> > --
> > Stephen R. Foster, Ph.D., CEO
> > stephenfoster.us
> > multidimensionalgames.com
> > learntomod.com
> > vox-l.com
> > thoughtstem.com
> >
> > --
> > 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.
>
-- 
Stephen R. Foster, Ph.D., CEO
stephenfoster.us
multidimensionalgames.com
learntomod.com
vox-l.com
thoughtstem.com

-- 
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] DrRacket prefs?

[Robby Findler]

It may be easier to use the higher-level library, calling
preferences:set-default and preferences:set. Using that approach has
the advantage you don't need to know all of the prefs (that are
machine config and OS specific, generally), but it has the
disadvantage that you need to figure out what the right values are at
that level. But these files have some useful information:

https://github.com/racket/drracket/blob/master/drracket/drracket/private/main.rkt

https://github.com/racket/gui/blob/master/gui-lib/framework/private/main.rkt

Here's a program that sets that particular preference (note that this
is user-specific):

#lang racket
(require framework/preferences)
(preferences:set-default 'drracket:show-line-numbers? #t boolean?)
(preferences:set 'drracket:show-line-numbers? #t)

Robby


On Thu, May 24, 2018 at 1:35 PM, Stephen Foster  wrote:
> Nice!  I'll try that!
>
> On Thu, May 24, 2018 at 11:34 AM Shu-Hung You
>  wrote:
>>
>> Hi Stephen,
>>
>> Running (find-system-path 'pref-file) in the REPL shows the path to
>> the preference file. Inside the file there's one line like:
>>
>> (plt:framework-pref:framework:display-line-numbers #t)
>>
>> 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
>>  wrote:
>> > Hi,
>> >
>> > 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?
>> >
>> > --Stephen
>> >
>> > --
>> > 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.
>
> --
> Stephen R. Foster, Ph.D., CEO
> stephenfoster.us
> multidimensionalgames.com
> learntomod.com
> vox-l.com
> thoughtstem.com
>
> --
> 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] DrRacket prefs?

[Stephen Foster]

Nice!  I'll try that!

On Thu, May 24, 2018 at 11:34 AM Shu-Hung You <
shu-hung@eecs.northwestern.edu> wrote:

> Hi Stephen,
>
> Running (find-system-path 'pref-file) in the REPL shows the path to
> the preference file. Inside the file there's one line like:
>
> (plt:framework-pref:framework:display-line-numbers #t)
>
> 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
>  wrote:
> > Hi,
> >
> > 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?
> >
> > --Stephen
> >
> > --
> > 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.
>
-- 
Stephen R. Foster, Ph.D., CEO
stephenfoster.us
multidimensionalgames.com
learntomod.com
vox-l.com
thoughtstem.com

-- 
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] DrRacket prefs?

[Shu-Hung You]

Hi Stephen,

Running (find-system-path 'pref-file) in the REPL shows the path to
the preference file. Inside the file there's one line like:

(plt:framework-pref:framework:display-line-numbers #t)

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
 wrote:
> Hi,
>
> 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?
>
> --Stephen
>
> --
> 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.

[racket-users] DrRacket prefs?

[Stephen Foster]

Hi,

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?

--Stephen

-- 
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.

[racket-users] Edmond's Blossom Algorithm

[Stephen Foster]

Sounds like a variation on the Stable Roommate problem?

https://en.m.wikipedia.org/wiki/Stable_roommates_problem?wprov=sfla1

-- 
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] Announcing Event-lang

[Eric Griffis]

These are in and should be visible in a few hours. I'll keep collecting
more!

Eric


On Tue, May 22, 2018 at 1:48 PM Matthew Butterick  wrote:

> I'm sure I'm not the only one who would like to see these (and other
> examples you have handy) added to your `event-lang` docs.
>
>
> On May 22, 2018, at 7:29 AM, Eric Griffis  wrote:
>
> Here's a variety of small examples.
>
>
>

-- 
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] Using Racket's raco on on Guix(SD)

[Konrad Hinsen]

On 22/05/2018 15:42, Christopher Lemmer Webber wrote:


Unfortunately when I try to install packages with "raco pkg install"
I get errors like the following:


I filed a bug report about this problem a while ago:

  https://debbugs.gnu.org/cgi/bugreport.cgi?bug=30680

Quote:

  I traced this back as far as I could by looking at the Racket compiler
  source code. Compilation generates a temporary file in the same
  directory where the result is supposed to go. If no errors occur, the
  temporary file is then renamed to become the output. The partial stack
  traces point to locations in the code that do a recursive traversal of
  a library in order to compile everything. Unfortunately, the part that
  decides where the output goes is not referenced in the stack trace.


I seem to remember a couple of packages failing altogether, though in
the present moment I think the result is bad performance due to not
being properly compiled, but I'm not really sure.


In my tests, all packages ended up working, but performance is indeed 
worse than with a Racket installation outside of Guix.


It would be nice if someone with more knowledge of Racket internals 
could give a hint or two for debugging this issue!


Konrad.

--
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.