Skip to content
Browse files

Extra coverage.

  • Loading branch information...
1 parent 88edf50 commit 7841d4ec954c7dcce39feca67d9a6ebc90c7d2e0 @g2p committed Feb 19, 2010
Showing with 5 additions and 1 deletion.
  1. +5 −1 profile/coverage
View
6 profile/coverage
@@ -6,7 +6,9 @@ trap 'kill $pid' EXIT
./git-fs help
./git-fs fuse-help
! ./git-fs NO-SUCH-COMMAND
+! ./git-fs is-mounted
./git-fs mount & pid=$!
+./git-fs is-mounted
! ps -fp "$pid"
! ./git-fs
cat "$(./git-fs show-mountpoint)"/HEAD/worktree/README
@@ -16,7 +18,9 @@ cat "$(./git-fs show-mountpoint)"/heads/master/current/diff
! cat "$(./git-fs show-mountpoint)"/heads/master
! ls "$(./git-fs show-mountpoint)"/HEAD/worktree/README/
find "$(./git-fs show-mountpoint)"
-tree -al "$(./git-fs show-mountpoint)"
+# Tree crashes (!); sometimes -C, or a pty, slows it down and helps.
+#tree -Cal "$(./git-fs show-mountpoint)" || true
+tree -al "$(./git-fs show-mountpoint)" || true
./git-fs umount
./git-fs umount || true

0 comments on commit 7841d4e

Please sign in to comment.
Something went wrong with that request. Please try again.