mirrors/php-src
0
0
Fork 0
mirror of https://github.com/php/php-src.git synced 2024-11-23 09:54:15 +08:00
Code Issues Packages Projects Releases Wiki Activity

Colorize --show-diff, only on stdout

Browse Source 
Don't add colors to the saved `.diff` file.

Related to a41cf3e1d2
This commit is contained in:
Tyson Andre 2020-08-12 19:27:00 -04:00
parent c3ddda4e3c
commit 7be61bec80
1 changed files with 6 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
run-tests.php
View File

@ -1774,11 +1774,17 @@ function run_worker(): void
function show_file_block(string $file, string $block, ?string $section = null): void
{
global $cfg;
global $colorize;
if ($cfg['show'][$file]) {
if (is_null($section)) {
$section = strtoupper($file);
}
if ($section === 'DIFF' && $colorize) {
// '-' is Light Red for removal, '+' is Light Green for addition
$block = preg_replace('/^[0-9]+\-\s.*$/m', "\e[1;31m\\0\e[0m", $block);
$block = preg_replace('/^[0-9]+\+\s.*$/m', "\e[1;32m\\0\e[0m", $block);
}
echo "\n========" . $section . "========\n";
echo rtrim($block);