Merge branch 'master' of ssh://git-annex.branchable.com

2012-06-17 01:28:21 -04:00 · 2012-06-17 01:28:21 -04:00 · 88c0951b57
commit 88c0951b57
parent da261b31de 2a9c5ebfaa
1 changed files with 9 additions and 0 deletions
--- a/doc/design/assistant/blog/day_10__lsof/comment_1_9b8c28c85c979f32e5c295b6a03c048e._comment
+++ b/doc/design/assistant/blog/day_10__lsof/comment_1_9b8c28c85c979f32e5c295b6a03c048e._comment
@ -0,0 +1,9 @@
+[[!comment format=mdwn
+ username="http://dieter-be.myopenid.com/"
+ nickname="dieter"
+ subject="comment 1"
+ date="2012-06-16T09:14:26Z"
+ content="""
+maybe at some point, your tool could show \"warning, the following files are still open and are hence not being annexed\"
+to avoid any nasty surprises of a file not being annexed and the user not realizing it.
+"""]]