diff options
author | Roman Smrž <roman.smrz@seznam.cz> | 2025-04-01 23:33:06 +0200 |
---|---|---|
committer | Roman Smrž <roman.smrz@seznam.cz> | 2025-04-04 21:25:00 +0200 |
commit | 1f01dbd2b1d3fb89efdaab56bc52d82a8ed0483e (patch) | |
tree | ed2a279157f6af16dbdd3b620e10e6028a320f23 /src/Repo.hs | |
parent | 7e8ec380763292d8afa4f3d0f03a679ffe384d49 (diff) |
Job root either as repo or jobfile
Diffstat (limited to 'src/Repo.hs')
-rw-r--r-- | src/Repo.hs | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/Repo.hs b/src/Repo.hs index f22b211..dc88c4b 100644 --- a/src/Repo.hs +++ b/src/Repo.hs @@ -1,5 +1,5 @@ module Repo ( - Repo, + Repo, getRepoWorkDir, DeclaredRepo(..), RepoName(..), textRepoName, showRepoName, Commit, commitId, @@ -67,6 +67,9 @@ data Repo instance Show Repo where show GitRepo {..} = gitDir +getRepoWorkDir :: Repo -> FilePath +getRepoWorkDir GitRepo {..} = takeDirectory gitDir + data DeclaredRepo = DeclaredRepo { repoName :: RepoName , repoPath :: FilePath |