2015-03-28 19:57:54 +00:00
|
|
|
{ runCommand, git }: src:
|
|
|
|
|
|
|
|
runCommand "local-git-export" {} ''
|
2015-03-28 20:13:18 +00:00
|
|
|
cd ${toString src}
|
2015-03-28 19:57:54 +00:00
|
|
|
mkdir -p "$out"
|
|
|
|
for file in $(${git}/bin/git ls-files); do
|
|
|
|
mkdir -p "$out/$(dirname $file)"
|
2015-03-28 20:13:18 +00:00
|
|
|
cp -d $file "$out/$file" || true # don't fail when trying to copy a directory
|
2015-03-28 19:57:54 +00:00
|
|
|
done
|
|
|
|
''
|