Home
last modified time | relevance | path

Searched refs:term_bold (Results 1 – 1 of 1) sorted by relevance

/PHP-7.2/build/
H A Dshtool499 term_bold=''
505term_bold=`awk 'BEGIN { printf("%c%c%c%c", 27, 91, 49, 109); }' </dev/null 2>/dev/null`
509term_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 6 milliseconds