diff options
author | Joey Hess <joey@kitenet.net> | 2012-07-17 12:27:06 -0400 |
---|---|---|
committer | Joey Hess <joey@kitenet.net> | 2012-07-17 12:27:06 -0400 |
commit | f5f88794713ebbbbc177d064f074a80ca23e9b79 (patch) | |
tree | 977c789d3fa62af7f2b4a6c37f8ae32c9ed4e7fe /Command/Map.hs | |
parent | dc2e0d0d9bc8d5fd106e7c1c8d871498f8012233 (diff) |
map: Write map.dot to .git/annex, which avoids watch trying to annex it.
Diffstat (limited to 'Command/Map.hs')
-rw-r--r-- | Command/Map.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Command/Map.hs b/Command/Map.hs index 65e28945f..0773f6828 100644 --- a/Command/Map.hs +++ b/Command/Map.hs @@ -39,6 +39,8 @@ start = do umap <- uuidMap trusted <- trustGet Trusted + + file <- (</>) <$> fromRepo gitAnnexDir <*> pure "map.dot" liftIO $ writeFile file (drawMap rs umap trusted) next $ next $ @@ -49,8 +51,6 @@ start = do showOutput liftIO $ boolSystem "dot" [Param "-Tx11", File file] ) - where - file = "map.dot" {- Generates a graph for dot(1). Each repository, and any other uuids, are - displayed as a node, and each of its remotes is represented as an edge |