blob: 1f0d619c5df294aea2d9aa7cd78dc6774795e17b (
plain)
1
2
3
4
5
6
7
8
9
|
(define extract-specific-file
(command #:inputs (archive #:type File) (extractfile #:type string)
#:run "tar" "--no-same-owner" "--extract" "--file" archive extractfile
#:outputs (extracted_file
#:type File
#:binding ((glob . "$(inputs.extractfile)")))))
(workflow ((archive #:type File) (extractfile #:type string))
(extract-specific-file #:archive archive #:extractfile extractfile))
|
