diff options
| author | Stig Bakken <ssb@php.net> | 2002-04-07 19:42:05 +0000 |
|---|---|---|
| committer | Stig Bakken <ssb@php.net> | 2002-04-07 19:42:05 +0000 |
| commit | 6303972256ca0b5c296dc3fbafd7da85fbf92885 (patch) | |
| tree | c2abfb1b4754bd8f98db5f1485df951f23775afb /pear/PEAR/Frontend | |
| parent | bba604b3d86623af2b3c34c8846b93ee6c634bdc (diff) | |
| download | php-git-6303972256ca0b5c296dc3fbafd7da85fbf92885.tar.gz | |
* added "cvstag" command
Diffstat (limited to 'pear/PEAR/Frontend')
| -rw-r--r-- | pear/PEAR/Frontend/CLI.php | 16 |
1 files changed, 6 insertions, 10 deletions
diff --git a/pear/PEAR/Frontend/CLI.php b/pear/PEAR/Frontend/CLI.php index 193c2749ff..e8cc5e49e4 100644 --- a/pear/PEAR/Frontend/CLI.php +++ b/pear/PEAR/Frontend/CLI.php @@ -31,6 +31,7 @@ class PEAR_Frontend_CLI extends PEAR * @access public */ var $type = 'CLI'; + var $lp = ''; // line prefix var $omode = 'plain'; var $params = array(); @@ -63,16 +64,11 @@ class PEAR_Frontend_CLI extends PEAR // }}} - // For now, all the display functions print a "| " at the - // beginning of the line. This is just a temporary thing, it - // is for discovering commands that use print instead of - // the UI layer. - // {{{ displayLine(text) function displayLine($text) { - print "| $text\n"; + print "$this->lp$text\n"; } // }}} @@ -97,8 +93,8 @@ class PEAR_Frontend_CLI extends PEAR function displayHeading($title) { - print "| ".$this->bold($title)."\n"; - print "| ".str_repeat("=", strlen($title))."\n"; + print $this->lp.$this->bold($title)."\n"; + print $this->lp.str_repeat("=", strlen($title))."\n"; } // }}} @@ -109,7 +105,7 @@ class PEAR_Frontend_CLI extends PEAR if ($type == 'password') { system('stty -echo'); } - print "| $prompt "; + print "$this->lp$prompt "; if ($default) { print "[$default] "; } @@ -134,7 +130,7 @@ class PEAR_Frontend_CLI extends PEAR { static $positives = array('y', 'yes', 'on', '1'); static $negatives = array('n', 'no', 'off', '0'); - print "| $prompt [$default] : "; + print "$this->lp$prompt [$default] : "; $fp = fopen("php://stdin", "r"); $line = fgets($fp, 2048); fclose($fp); |
