Added a comment: use your own cp

1 files changed, 30 insertions, 0 deletions

diff --git a/doc/todo/wishlist:_use_hardlinks_for_local_clones/comment_3_650ded07dfb4c0c598f6ae649e45760b._comment b/doc/todo/wishlist:_use_hardlinks_for_local_clones/comment_3_650ded07dfb4c0c598f6ae649e45760b._comment
new file mode 100644
index 000000000..c2e5fa207
--- /dev/null
+++ b/doc/todo/wishlist:_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).
+
+"""]]