fetchpatch: Allow to pass a postFetch attribute.

Comes in handy if we want to make additional modificiations to the
output file. While I wasn't sure whether to invoke the passed postFetch
directly before the patch or afterwards, I thought it would be better
afterwards because "postFetch of fetchpatch" at least to my intuition
would sound that after whatever "fetchpatch" does - it comes afterwards.

Signed-off-by: aszlig <aszlig@redmoonstudios.org>
This commit is contained in:
aszlig 2015-06-19 18:50:08 +02:00
parent 5cd1fd8012
commit d2df553da1
No known key found for this signature in database
GPG key ID: D0EBD0EC8C2DC961

View file

@ -18,5 +18,6 @@ fetchurl ({
--strip=${toString stripLen} \
--clean "$out" > "$tmpfile"
mv "$tmpfile" "$out"
${args.postFetch or ""}
'';
} // builtins.removeAttrs args ["stripLen"])