Searched refs:term_bold (Results 1 – 1 of 1) sorted by relevance
/php-src/build/ |
H A D | shtool | 499 term_bold='' 505 … term_bold=`awk 'BEGIN { printf("%c%c%c%c", 27, 91, 49, 109); }' </dev/null 2>/dev/null` 509 … term_bold=`awk 'BEGIN { printf("%c%c%c%c%c%c", 27, 91, 49, 109, 0, 0); }' </dev/null 2>/dev/null` 521 term_bold="$bold" 525 if [ ".$term_bold" != . ]; then 537 if [ ".$term_bold" != . ] && [ ".$term_norm" != . ]; then 543 if [ ".$term_bold" = . ] || [ ".$term_norm" = . ]; then 545 term_bold='' 753 sed -e "s/%B/${term_bold}/g" \
|
Completed in 7 milliseconds