I know that in bash terminals a reliable way to change color is using ANSI escape sequences. For example: echo -e "\033[0;31mbrown text\033[0;00m" should out
bootstrap-themes
limiting
mapbox-gl-geocoder
abbreviation
jenkins-declarative-pipeline
desktop
autodesk-viewer
lift
apt-key
doccano
aggregation-framework
wait
symfony-sonata
bi-tool
finalization
richtextctrl
img2pdf
createjs
ora-01722
tstringfield
payfast
x86-64
codeready
gcp-vpc-firewall
couchdb-lucene
strawberry-graphql
holoviz
pimcore-datahub
distributed-system
bsxfun