首页
学习
活动
专区
圈层
工具
发布
社区首页 >问答首页 >如何从脚本中运行raco命令?

如何从脚本中运行raco命令?
EN

Stack Overflow用户
提问于 2016-12-15 17:03:32
回答 1查看 178关注 0票数 1

从脚本运行raco命令的首选方法是什么?

我一直在做这样的事情:

代码语言:javascript
复制
#lang racket
(system "raco frog -b")

但必须有更好的解决办法。

EN

回答 1

Stack Overflow用户

回答已采纳

发布于 2016-12-15 17:51:38

是的,确实有更好的办法:

代码语言:javascript
复制
#lang racket
(require raco/all-tools)
(define v (all-tools))
(parameterize ([current-command-line-arguments (vector "-b")])
  (dynamic-require (second (hash-ref v "frog")) #f))

感谢萨姆·托宾-霍奇斯塔特。

https://github.com/racket/racket-lang-org/pull/26#issuecomment-267160884

票数 2
EN
页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接:

https://stackoverflow.com/questions/41169617

复制
相关文章

相似问题

领券
问题归档专栏文章快讯文章归档关键词归档开发者手册归档开发者手册 Section 归档