We already have an option for that.

horde · Jun 12, 2017 · 741fbb7 · 741fbb7
1 parent 6aff961
commit 741fbb7
Show file tree

Hide file tree

Showing 3 changed files with 8 additions and 4 deletions.
diff --git a/components/config/conf.php.dist b/components/config/conf.php.dist
@@ -10,8 +10,9 @@
  * Boolean values may be true or false (never quotes).
  */
 
-/* Target directory for git checkouts. */
-$conf['git_base'] = '';
+/* Directory for git checkouts. Either the base directory of all checkouts, or
+/* the checkout of a monolithic repository. */
+$conf['horde_root'] = '';
 
 /* PEAR server name. Only change for testing purposes. */
 $conf['releaseserver'] = 'pear.horde.org';

diff --git a/components/lib/Components/Config/Cli.php b/components/lib/Components/Config/Cli.php
@@ -154,7 +154,7 @@ public function __construct(
                 '--horde-root',
                 array(
                     'action' => 'store',
-                    'help'   => 'The root of the Horde git repository.'
+                    'help'   => 'The root of the Horde git repository(ies).'
                 )
             )
         );

diff --git a/components/lib/Components/Helper/Root.php b/components/lib/Components/Helper/Root.php
@@ -143,7 +143,10 @@ public function getGitIgnore()
      */
     public function getRoot()
     {
-        return $this->_options['git_base'];
+        if (empty($this->_root_path)) {
+            $this->_root_path = $this->_determineRoot();
+        }
+        return $this->_root_path;
     }
 
     /**