diff options
author | Tom Willemse | 2014-03-01 20:00:02 +0100 |
---|---|---|
committer | Tom Willemse | 2014-03-01 20:00:02 +0100 |
commit | e72c0930573377c52b41bcb45b40d270cbbe8cc4 (patch) | |
tree | ecd4f7bcef158f842111e7aa38b45ba2b398ade6 | |
parent | d5f38b4f6dd1ae0f819c5d4c0780e570b908ff68 (diff) | |
download | gitto-e72c0930573377c52b41bcb45b40d270cbbe8cc4.tar.gz gitto-e72c0930573377c52b41bcb45b40d270cbbe8cc4.zip |
Split known? into a couple of functions
-rw-r--r-- | gitto/main.scm | 19 |
1 files changed, 13 insertions, 6 deletions
diff --git a/gitto/main.scm b/gitto/main.scm index 6459cd5..2600c88 100644 --- a/gitto/main.scm +++ b/gitto/main.scm @@ -58,14 +58,21 @@ Displays version and some copyright information." (display "under the terms of the GNU General Public License.") (newline) (display "For more information about these matters, see the file named COPYING.") (newline)) +(define (registered? repo) + "Check if REPO has been registered." + (or (member repo repositories same-repository?) + (member (realpath (if (string? repo) + repo + (repo-location repo))) + repositories same-repository?))) + +(define (valid-repo? repo) + "Check if REPO is or could be made usable as a repository." + (or (repository? repo) (string? repo))) + (define (known? repo) "Do we know REPO?" - (and (or (repository? repo) (string? repo)) - (or (member repo repositories same-repository?) - (member (realpath (if (string? repo) - repo - (repo-location repo))) - repositories same-repository?)))) + (and (valid-repo? repo) (registered? repo))) (define (save-repositories-list) "Save the list of repositories." |