Re: [racket-users] Proper place to store log file

2020-08-25 Thread Hendrik Boom 
On Mon, Aug 24, 2020 at 11:02:35AM -0700, Thomas Del Vecchio wrote:
> Hi everyone!
> 
> I'm currently working on some usage logging for a language we're 
> developing. We need to store a persistent file that is shared across a 
> given device (so that the same log file is used regardless of where you are 
> working). Is there a best place to put this file? I'm looking at 
> find-system-path 
> ,
>  
> but am not sure from the documentation if one of these is best for this 
> purpose.

If the log file is to be system-wide, linux has the directory /var/log

-- hendrik
> 
> One option I'm considering is in `(collection-file-path (build-path 
> "logging" "user-logs.log") "")`, which is just 
> "///logging/user-logs.log", but I'm unsure whether 
> it's safe to store user data there (especially if we are expecting to have 
> package updates).
> 
> Thanks so much!
> Thomas
> 
> -- 
> 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.
> To view this discussion on the web visit 
> https://groups.google.com/d/msgid/racket-users/bd7203d0-db4c-4e56-a19f-fb4cb58c8625n%40googlegroups.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.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/racket-users/20200826015244.per77fshze7j6tjo%40topoi.pooq.com.

Re: [racket-users] new racket-lang.org website

2020-08-25 Thread Dominik Pantůček 



On 26. 08. 20 0:09, Robby Findler wrote:
> I've put a version that uses 550 pixels as a cutoff here, in case that
> the 1080 really was
> 540: https://users.cs.northwestern.edu/~robby/tmp/Web/www/

This is displayed correctly using any browser on the S61 now. So
probably it is the case of those 540 "pixels". Great job! (Not just the
fix, the whole new website, actually).


Dominik

> 
> Robby
> 
> 
> On Tue, Aug 25, 2020 at 5:06 PM Robby Findler  > wrote:
> 
> Thanks Dominik. Currently the site uses the predicate "less than 460
> pixels wide?" to determine if it should switch to single-column /
> phone mode. That seemed to work for the 3-4 phones (narrow) and
> tablets (wide) that I tried but I'm certainly not well versed in
> these kinds of things. The specific expression it uses is here:
> 
>   
> https://github.com/racket/racket-lang-org/blob/master/www/css/styles.css.pp#L543
> 
> (and then a bit further down is the negated version of that same
> predicate). 
> 
> If you (or anyone!) has advice on how to improve this, that'd be
> welcome.
> 
> It may be that the right approach is to adjust the font sizes, as
> 1080x1920 sounds really wide. Is it possible that's a retina-style
> display and the logical number is actually 540 wide? Maybe that's a
> better cutoff for switching?
> 
> Robby
> 
> 
> On Tue, Aug 25, 2020 at 3:45 PM Dominik Pantůček
> mailto:dominik.pantu...@trustica.cz>>
> wrote:
> 
> On 25. 08. 20 22:35, Laurent wrote:
> 
> > Or maybe Dominik checked something like "Always display the
> desktop
> 
> > version for this site"? (FWIW it displays nicely on a
> 2,280x1,080 pixels
> 
> > phone screen)
> 
> 
> 
> I wish that was the case. The screenshot comes from Lightning
> browser,
> 
> however I get the same result from Chrome (default on my Cat S61
> Phone)
> 
> and mobile Firefox too.
> 
> 
> 
> It's 1080x1920 with default Android 9 as shipped by the
> manufacturer.
> 
> Actually I am using this device for testing our mobile apps (yes
> ...).
> 
> 
> 
> Of course, changing the orientation to landscape makes it
> display the
> 
> desktop version correctly.
> 
> 
> 
> Sadly, I can only help by reporting as much information as possible.
> 
> 
> 
> 
> 
> Dominik
> 
> 
> 
> >
> 
> > On Tue, Aug 25, 2020 at 9:13 PM Robby Findler
> mailto:ro...@cs.northwestern.edu>
> 
> >  >> wrote:
> 
> >
> 
> >     It looks like your phone has enough pixels width wise that
> the site
> 
> >     thinks it is a normal machine (albeit uncomfortably
> narrow). If
> 
> >     things are slightly narrower you'll see the site changes. I am
> 
> >     attaching two screenshots from my phone. 
> 
> >
> 
> >     Robby 
> 
> >
> 
> >
> 
> >
> 
> >
> 
> >
> 
> >     On Tue, Aug 25, 2020 at 2:59 PM Dominik Pantůček
> 
> >      
>  >>
> 
> >     wrote:
> 
> >
> 
> >         Hi,
> 
> >
> 
> >         apparently the new design is not very mobile-friendly
> as can be
> 
> >         seen on the attached screenshot. If somebody has the
> skills and
> 
> >         time, this should probably be fixed soon.
> 
> >
> 
> >         D.
> 
> >
> 
> >
> 
> >         On August 25, 2020 7:51:40 PM GMT+02:00, Robby Findler
> 
> >          
>  >>
> 
> >         wrote:
> 
> >
> 
> >
> 
> >
> 
> >             Hi all: as you may know if you follow dev@, we've been
> 
> >             revising the website. The new version went live
> last night;
> 
> >             please have a look: https://www.racket-lang.org/
> 
> >
> 
> >             A big Thank You to Matthew Butterick for the
> previous design
> 
> >             which, as you can tell, inspired the current
> visual design.
> 
> >
> 
> >             Matthew, Robby, Sam, Jay, John, and Matthias
> 
> >
> 
> >
> 
> >
> 
> >
> 
> >
> 
> >
> 
> >         --
> 
> >         Sent from my Android device with K-9 Mail. Please
> excuse my brevity.
> 
> >
> 
> >
> 
> >
> 
> >
> 
> >
> 
> >
> 
>

Re: [racket-users] new racket-lang.org website

2020-08-25 Thread Robby Findler 
I've put a version that uses 550 pixels as a cutoff here, in case that the
1080 really was 540: https://users.cs.northwestern.edu/~robby/tmp/Web/www/

Robby


On Tue, Aug 25, 2020 at 5:06 PM Robby Findler 
wrote:

> Thanks Dominik. Currently the site uses the predicate "less than 460
> pixels wide?" to determine if it should switch to single-column / phone
> mode. That seemed to work for the 3-4 phones (narrow) and tablets (wide)
> that I tried but I'm certainly not well versed in these kinds of things.
> The specific expression it uses is here:
>
>
> https://github.com/racket/racket-lang-org/blob/master/www/css/styles.css.pp#L543
>
> (and then a bit further down is the negated version of that same
> predicate).
>
> If you (or anyone!) has advice on how to improve this, that'd be welcome.
>
> It may be that the right approach is to adjust the font sizes, as
> 1080x1920 sounds really wide. Is it possible that's a retina-style display
> and the logical number is actually 540 wide? Maybe that's a better cutoff
> for switching?
>
> Robby
>
>
> On Tue, Aug 25, 2020 at 3:45 PM Dominik Pantůček <
> dominik.pantu...@trustica.cz> wrote:
>
>> On 25. 08. 20 22:35, Laurent wrote:
>>
>> > Or maybe Dominik checked something like "Always display the desktop
>>
>> > version for this site"? (FWIW it displays nicely on a 2,280x1,080 pixels
>>
>> > phone screen)
>>
>>
>>
>> I wish that was the case. The screenshot comes from Lightning browser,
>>
>> however I get the same result from Chrome (default on my Cat S61 Phone)
>>
>> and mobile Firefox too.
>>
>>
>>
>> It's 1080x1920 with default Android 9 as shipped by the manufacturer.
>>
>> Actually I am using this device for testing our mobile apps (yes ...).
>>
>>
>>
>> Of course, changing the orientation to landscape makes it display the
>>
>> desktop version correctly.
>>
>>
>>
>> Sadly, I can only help by reporting as much information as possible.
>>
>>
>>
>>
>>
>> Dominik
>>
>>
>>
>> >
>>
>> > On Tue, Aug 25, 2020 at 9:13 PM Robby Findler <
>> ro...@cs.northwestern.edu
>>
>> > > wrote:
>>
>> >
>>
>> > It looks like your phone has enough pixels width wise that the site
>>
>> > thinks it is a normal machine (albeit uncomfortably narrow). If
>>
>> > things are slightly narrower you'll see the site changes. I am
>>
>> > attaching two screenshots from my phone.
>>
>> >
>>
>> > Robby
>>
>> >
>>
>> >
>>
>> >
>>
>> >
>>
>> >
>>
>> > On Tue, Aug 25, 2020 at 2:59 PM Dominik Pantůček
>>
>> > mailto:dominik.pantu...@trustica.cz
>> >>
>>
>> > wrote:
>>
>> >
>>
>> > Hi,
>>
>> >
>>
>> > apparently the new design is not very mobile-friendly as can be
>>
>> > seen on the attached screenshot. If somebody has the skills and
>>
>> > time, this should probably be fixed soon.
>>
>> >
>>
>> > D.
>>
>> >
>>
>> >
>>
>> > On August 25, 2020 7:51:40 PM GMT+02:00, Robby Findler
>>
>> > mailto:ro...@cs.northwestern.edu>>
>>
>> > wrote:
>>
>> >
>>
>> >
>>
>> >
>>
>> > Hi all: as you may know if you follow dev@, we've been
>>
>> > revising the website. The new version went live last night;
>>
>> > please have a look: https://www.racket-lang.org/
>>
>> >
>>
>> > A big Thank You to Matthew Butterick for the previous design
>>
>> > which, as you can tell, inspired the current visual design.
>>
>> >
>>
>> > Matthew, Robby, Sam, Jay, John, and Matthias
>>
>> >
>>
>> >
>>
>> >
>>
>> >
>>
>> >
>>
>> >
>>
>> > --
>>
>> > Sent from my Android device with K-9 Mail. Please excuse my
>> brevity.
>>
>> >
>>
>> >
>>
>> >
>>
>> >
>>
>> >
>>
>> >
>>
>> >
>>
>> >
>>
>> > --
>>
>> >
>>
>> >
>>
>> > 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
>>
>> > .
>>
>> >
>>
>> >
>>
>> > To view this discussion on the web visit
>>
>> >
>> https://groups.google.com/d/msgid/racket-users/1FFB85C8-D1E3-4E72-8A1D-8DD38FE5FF05%40trustica.cz
>>
>> > <
>> https://groups.google.com/d/msgid/racket-users/1FFB85C8-D1E3-4E72-8A1D-8DD38FE5FF05%40trustica.cz?utm_medium=email_source=footer
>> >.
>>
>> >
>>
>> >
>>
>> >
>>
>> >
>>
>> > --
>>
>> > 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
>>
>> > .
>>
>> > To view this discussion on the web visit
>>
>> >
>>

[racket-users] Re: new racket-lang.org website

2020-08-25 Thread Eric Eide 
Robby Findler  writes:

> Hi all: as you may know if you follow dev@, we've been revising the
> website. The new version went live last night; please have a look:
> https://www.racket-lang.org/

Usually I don't reply just to say "This is very nice," but I want to make an
exception in this case.

This is very nice!

I especially like the Typed Racket, Scribble, and Datalog snippets!

-- 
---
Eric Eide   . University of Utah School of Computing
http://www.cs.utah.edu/~eeide/ . +1 (801) 585-5512 voice, +1 (801) 581-5843 FAX

-- 
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.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/racket-users/m1364atnem.fsf%40cs.utah.edu.

Re: [racket-users] new racket-lang.org website

2020-08-25 Thread Dominik Pantůček 
On 25. 08. 20 22:35, Laurent wrote:
> Or maybe Dominik checked something like "Always display the desktop
> version for this site"? (FWIW it displays nicely on a 2,280x1,080 pixels
> phone screen)

I wish that was the case. The screenshot comes from Lightning browser,
however I get the same result from Chrome (default on my Cat S61 Phone)
and mobile Firefox too.

It's 1080x1920 with default Android 9 as shipped by the manufacturer.
Actually I am using this device for testing our mobile apps (yes ...).

Of course, changing the orientation to landscape makes it display the
desktop version correctly.

Sadly, I can only help by reporting as much information as possible.


Dominik

> 
> On Tue, Aug 25, 2020 at 9:13 PM Robby Findler  > wrote:
> 
> It looks like your phone has enough pixels width wise that the site
> thinks it is a normal machine (albeit uncomfortably narrow). If
> things are slightly narrower you'll see the site changes. I am
> attaching two screenshots from my phone. 
> 
> Robby 
> 
> 
> 
> 
> 
> On Tue, Aug 25, 2020 at 2:59 PM Dominik Pantůček
> mailto:dominik.pantu...@trustica.cz>>
> wrote:
> 
> Hi,
> 
> apparently the new design is not very mobile-friendly as can be
> seen on the attached screenshot. If somebody has the skills and
> time, this should probably be fixed soon.
> 
> D.
> 
> 
> On August 25, 2020 7:51:40 PM GMT+02:00, Robby Findler
> mailto:ro...@cs.northwestern.edu>>
> wrote:
> 
> 
> 
> Hi all: as you may know if you follow dev@, we've been
> revising the website. The new version went live last night;
> please have a look: https://www.racket-lang.org/
> 
> A big Thank You to Matthew Butterick for the previous design
> which, as you can tell, inspired the current visual design.
> 
> Matthew, Robby, Sam, Jay, John, and Matthias
> 
> 
> 
> 
> 
> 
> -- 
> Sent from my Android device with K-9 Mail. Please excuse my brevity.
> 
> 
> 
> 
> 
> 
> 
> 
> -- 
> 
> 
> 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
> .
> 
> 
> To view this discussion on the web visit
> 
> https://groups.google.com/d/msgid/racket-users/1FFB85C8-D1E3-4E72-8A1D-8DD38FE5FF05%40trustica.cz
> 
> .
> 
> 
> 
> 
> -- 
> 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
> .
> To view this discussion on the web visit
> 
> https://groups.google.com/d/msgid/racket-users/CAL3TdONGCQyDnCRt42t%2B-KnOBq8XZmU71%2BTUxwkC%3Dw9TJsMb3w%40mail.gmail.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
> .
> To view this discussion on the web visit
> https://groups.google.com/d/msgid/racket-users/CABNTSaEfeHBnQkb_%3Dq2E2t6%3DD3_PEcMrN7cbSXCZza%3DXjFVfvA%40mail.gmail.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.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/racket-users/07d6669c-8b59-766d-c527-19a8e862246b%40trustica.cz.

Re: [racket-users] Re: Application Templates!

2020-08-25 Thread Andre Garzia 
> A recent contribution is a new command extension to raco:
> https://github.com/nixin72/from-template
> $ raco from-template  
> Philip described it 'like create-react-app, but for all sorts of Racket
> templates'
>  (It is currently only linux so it would be nice if a windows user could
> help)
>

I just sent a PR adding windows support to that command extension:

https://github.com/nixin72/from-template/pull/1

Best
A

-- 
https://www.andregarzia.com 
Want to support me? Buy me a coffee at https://ko-fi.com/andregarzia

-- 
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.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/racket-users/CAF3jwTmrejsdgqpx6rtearY%2BN7b9j%2Bn9SOc6-u11jGKRoqXZPw%40mail.gmail.com.

[racket-users] new racket-lang.org website

2020-08-25 Thread Robby Findler 
Hi all: as you may know if you follow dev@, we've been revising the
website. The new version went live last night; please have a look:
https://www.racket-lang.org/

A big Thank You to Matthew Butterick for the previous design which, as you
can tell, inspired the current visual design.

Matthew, Robby, Sam, Jay, John, and Matthias

-- 
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.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/racket-users/CAL3TdONYQPWY8OsnB2dpto%3D56mytQgtpKKQbVT%2BObV8iwpoNxQ%40mail.gmail.com.

Re: [racket-users] find-expr: find a corresponding expression in the definition window

2020-08-25 Thread Robby Findler 
On Tue, Aug 25, 2020 at 3:19 AM Michael Sperber 
wrote:

>
> Technical question for Robby: How should we represent the icon?
> Just a bitmap% object?
>
>
A bitmap is a good choice (safe because the data of the bitmap can be
extracted and then turned into a safe bitmap% object on the drracket side).
And this has me thinking that we also want to take advantage of record-dc
here.

That is, I think a good way to do that is to use the file/convertible
interface (we'd have to add a new option) where values can declare that
they can be turned into the data structure that record-dc produces in some
way (picts and 2htdp/image images would just draw into a record dc and
extra the result). That would allow a lot of different kinds of
drawing-type thingies and would be easy to support.

Robby

-- 
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.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/racket-users/CAL3TdOPeLbPrCPL9B1JvCn6wLEWKUSHnaTzJxnUURnVC8Ae91g%40mail.gmail.com.

Re: [racket-users] find-expr: find a corresponding expression in the definition window

2020-08-25 Thread Michael Sperber 


Robby Findler  writes:

> Imagine that DrRacket had a way that you could write special to the
> current-output port (or, more precisely, to a port that was connected to
> the interactions window) and that port would specially recognize that thing
> you wrote such that it would come out as a checkmark but clicking on it
> would set the insertion point and add highlighting (as you've done). If I
> understand the demo correctly, then you could do what you've done here by
> changing #%module-begin to change how printing the values of top-level
> expressions worked such that it did a write-special of that new kind of
> value and then just did what printing usually does.

Robby's hinting at the fact that we're working on such a thing - i.e. a
tiny combinator DSL for "markup" that includes the ability to make
clickable links into source code.

I hope it matches what Sorawee has in mind.  If so, that would be an
indication we're moving in the right direction.

Technical question for Robby: How should we represent the icon?
Just a bitmap% object?

-- 
Regards,
Mike

-- 
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.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/racket-users/y9l364bm92c.fsf%40valmont.fritz.box.