raco pkg:安装git repo的子文件夹

Question

如何将Git的子文件夹安装为一个球拍包？

如果回购foo有两个文件夹pkg和etc，我如何告诉raco pkg install忽略etc

Answer 1

将?path=pkg放在URL的末尾：

   https://github.com/USER/foo.git?path=pkg 

(Docs:见包装源下的第5段或Git部署下的第2段)

如果Git包含多个文件夹，这些文件夹应该是包的一部分(可能是pkg1和pkg2)，那么在回购中放置一个类似于这样的info.rkt：

#lang info
(define collection 'multi)
(define setup-collects '("pkg1" "pkg2"))
(define compile-omit-paths '("other"))

然后raco pkg install https://github.com/USER/foo.git将忽略other文件夹。