From d7a0acbca6f3a6be20c844aa2df570b3d99a3a14 Mon Sep 17 00:00:00 2001 From: "http://joeyh.name/" Date: Fri, 16 May 2014 18:12:34 +0000 Subject: [PATCH] Added a comment --- .../comment_1_988768c3e4f30c751034a0b0390cdd88._comment | 8 ++++++++ 1 file changed, 8 insertions(+) create mode 100644 doc/bugs/no_git-annex_shell_on_Windows/comment_1_988768c3e4f30c751034a0b0390cdd88._comment diff --git a/doc/bugs/no_git-annex_shell_on_Windows/comment_1_988768c3e4f30c751034a0b0390cdd88._comment b/doc/bugs/no_git-annex_shell_on_Windows/comment_1_988768c3e4f30c751034a0b0390cdd88._comment new file mode 100644 index 0000000000..fc58c35dd2 --- /dev/null +++ b/doc/bugs/no_git-annex_shell_on_Windows/comment_1_988768c3e4f30c751034a0b0390cdd88._comment @@ -0,0 +1,8 @@ +[[!comment format=mdwn + username="http://joeyh.name/" + ip="108.236.230.124" + subject="comment 1" + date="2014-05-16T18:12:34Z" + content=""" +You should be able to copy git-annex.exe to git-annex-shell.exe and that will be usable as git-annex-shell. I could make the windows installer do this, but without the ability to easily hard or symlink the files, it would double the disk space for what seems an unusual use case.. +"""]]