Okay, so "edit the file" is the answer. That works for me. Thanks!
On Sat, Apr 18, 2020 at 2:30 PM Michael MacLeod <michaelmmacl...@gmail.com>
wrote:
> 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
> <https://docs.racket-lang.org/reference/runtime.html?q=current%2Dcommand%2Dline%2Darguments#%28def._%28%28quote._~23~25kernel%29._current-command-line-arguments%29%29>
> for more information.
>
>
> On Sat, Apr 18, 2020 at 11:03 AM David Storrs <david.sto...@gmail.com>
> wrote:
>
>>
>> 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?
>>
>>
>> --
>> 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/CAE8gKocbjLNy%3D9S-g4HSc6WmOJf2TAsd7LOzbEYGQsm%3DYLGLAg%40mail.gmail.com
>> <https://groups.google.com/d/msgid/racket-users/CAE8gKocbjLNy%3D9S-g4HSc6WmOJf2TAsd7LOzbEYGQsm%3DYLGLAg%40mail.gmail.com?utm_medium=email&utm_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
https://groups.google.com/d/msgid/racket-users/CAE8gKodKGSnJj4eXZX6rXpLA7yomBywMtakCGn_G6M5AM-JfKA%40mail.gmail.com.
