summaryrefslogtreecommitdiff
path: root/dgit
diff options
context:
space:
mode:
authorIan Jackson <ijackson@chiark.greenend.org.uk>2015-07-26 21:35:15 +0100
committerIan Jackson <ijackson@chiark.greenend.org.uk>2015-07-26 22:54:29 +0100
commitb1772b364e75b32c413db7060a0adf8b124c84db (patch)
tree8157c15f4733e123bce954525f089240fa31e34c /dgit
parentc0d5a56bb79f172e549476e6f2147bc423389090 (diff)
Provide access_cfg_bool (no call sites yet)
Diffstat (limited to 'dgit')
-rwxr-xr-xdgit5
1 files changed, 5 insertions, 0 deletions
diff --git a/dgit b/dgit
index a0f560a..ae96531 100755
--- a/dgit
+++ b/dgit
@@ -694,6 +694,11 @@ sub access_cfg (@) {
return $value;
}
+sub access_cfg_bool ($$) {
+ my ($def, @keys) = @_;
+ parse_cfg_bool($keys[0], $def, access_cfg(@keys, 'RETURN-UNDEF'));
+}
+
sub string_to_ssh ($) {
my ($spec) = @_;
if ($spec =~ m/\s/) {