DrRacket and command line arguments

[David Storrs]

Is there a way to specify command line arguments when running inside DrRacket?

For example:

#lang racket
(define foo (make-parameter 7))
(command-line
 #:program "foo"
 #:once-each
 [("--thing") thing "The thing" (foo thing)]
 )
(displayln (foo))

If running in DrRacket, how can I make this spit out 9 instead of 7?

[Michael MacLeod]

You can parameterize `current-command-line-arguments` like so:

```

#lang racket

(require racket/cmdline)

(define foo (make-parameter 7))

(parameterize ([current-command-line-arguments #("--thing" "9")])

  (command-line
   #:program "foo"
   #:once-each
   [("--thing") thing "The thing" (foo thing)])

  (displayln (foo)))

```

See the docs for more information.

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

[David Storrs]

Okay, so "edit the file" is the answer.  That works for me.  Thanks!

[Jens Axel Søgaard]

Hi David,

You can set the command line arguments that DrRacket uses in the dialog that appears 
from the menu "Language" and menu item "Choose Language...". You may need

to click the "Advanced" button too:

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

--

--
Jens Axel Søgaard

[Laurent]

You can also use the `#:argv` argument of `command-line`.

To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/CABefVgzeenEkhJjeFYU4H3Vm4SVj%3DAUmLVqFBHx%2BWQwb4E7B7A%40mail.gmail.com.

[David Storrs]

Good to know.  Thank you.