diff options
author | 2016-03-12 12:57:18 -0400 | |
---|---|---|
committer | 2016-03-12 12:57:18 -0400 | |
commit | ca10c06819aacc50d4423836ce51fc4486803789 (patch) | |
tree | e96072aef36f12d28d715fd4b7396d3fea4eef4c /doc/todo/wishlist__58___use_hardlinks_for_local_clones/comment_3_650ded07dfb4c0c598f6ae649e45760b._comment | |
parent | 024dd384140b25f69defd762e41fd5e4af4f3567 (diff) |
rename files containing :
This is mostly to let the repo check out on windows w/o using cygwin's git.
But, bash completion is also crap with : , so ..
Diffstat (limited to 'doc/todo/wishlist__58___use_hardlinks_for_local_clones/comment_3_650ded07dfb4c0c598f6ae649e45760b._comment')
-rw-r--r-- | doc/todo/wishlist__58___use_hardlinks_for_local_clones/comment_3_650ded07dfb4c0c598f6ae649e45760b._comment | 30 |
1 files changed, 30 insertions, 0 deletions
diff --git a/doc/todo/wishlist__58___use_hardlinks_for_local_clones/comment_3_650ded07dfb4c0c598f6ae649e45760b._comment b/doc/todo/wishlist__58___use_hardlinks_for_local_clones/comment_3_650ded07dfb4c0c598f6ae649e45760b._comment new file mode 100644 index 000000000..c2e5fa207 --- /dev/null +++ b/doc/todo/wishlist__58___use_hardlinks_for_local_clones/comment_3_650ded07dfb4c0c598f6ae649e45760b._comment @@ -0,0 +1,30 @@ +[[!comment format=mdwn + username="https://www.google.com/accounts/o8/id?id=AItOawkHTRzRZoBFEDl9XcTfVveW8yO7CTKMg-o" + nickname="Felix" + subject="use your own cp" + date="2015-02-04T14:16:14Z" + content=""" +As a workaround one could use another cp. Maybe something like this: + +Make an executable shell script \"cp\": + + #!/bin/sh + + p1=\"$1\" + shift + + if [ \"$p1\" = '--reflink=auto' ] ; then + p1='--link' + fi + + exec /bin/cp \"$p1\" \"$@\" + + +And put it into a directory which is found before the \"real\" cp: + + export PATH=/path/to/special/cp/:$PATH + + +This \"cp\" makes a hardlink if the '--reflink=auto' parameter is used (1st). + +"""]] |