Re: [racket-users] raco setup --only-docs Is there something like this?

2020-06-02 Thread Simon Schlee
This cuts the time down from 6-7 seconds to 2-3 seconds for me, that is 
great, thank you!

previous:
time raco setup --doc-index --no-pkg-deps layout  6.85s user 1.29s system 
209% cpu 3.888 total

now:
raco setup -n -j 1 --doc-index --no-pkg-deps --avoid-main layout  2.31s 
user 0.47s system 99% cpu 2.792 total

-- 
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/0aa1ef51-8292-4ada-bfd9-42d5e8e58e07%40googlegroups.com.


Re: [racket-users] raco setup --only-docs Is there something like this?

2020-06-02 Thread Matthew Flatt
You could use `-n` to skip the ".zo"-building part, and there are
similar arguments for other steps.

You may also find it helpful to use `-j 1`. Although `raco setup`
should be smarter about spinning up places to build multiple documents
in parallel, it currently isn't.

At Tue, 2 Jun 2020 07:40:39 -0700 (PDT), Simon Schlee wrote:
> Hello,
> 
> I like that I can run: 
> raco setup --doc-index my-collection-name
> 
> and it builds the documentation and makes it searchable on my local machine.
> But I was wondering if there is a way to speed-up/skip some of the usual 
> setup stuff that happens before building the documentation?
> 
> Should I use raco scribble instead?
> If so is there a certain set of raco scribble arguments that is equivalent 
> to what raco setup does?
> 
> 
> Simon
> 
> -- 
> 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/5bd3ccd6-c5ba-4bca-9bde-8c0efbbd
> d8c2%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/20200602091435.3c4%40sirmail.smtp.cs.utah.edu.