Build a short usage line from a command name.

Usage Lines

usage_line.php
<?php
$command = ;
$usage = "php tool.php " . $command . " [options]";
$length = strlen($usage);

echo "command=" . $command . "\n";
echo "usage=" . $usage . "\n";
echo "length=" . $length . "\n";
<?php
$command = ;
$usage = "php tool.php " . $command . " [options]";
$length = strlen($usage);

echo "command=" . $command . "\n";
echo "usage=" . $usage . "\n";
echo "length=" . $length . "\n";
<?php
$command = ;
$usage = "php tool.php " . $command . " [options]";
$length = strlen($usage);

echo "command=" . $command . "\n";
echo "usage=" . $usage . "\n";
echo "length=" . $length . "\n";
usage-line Usage text can be built from small scalar pieces. Keeping it deterministic makes it suitable for static replay.