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
sql-server-2016
hidden-characters
dpll
svg.js
pdl
rosetta-2
unity3d-2dtools
javafx-8
mathematical-optimization
metroframework
leave-one-out
restore-points
vb4android
caching
spacy-3
pygame-menu
sourcegraph
nested-json
ivalueconverter
cocoon-gem
bull.js
telegraf-inputs-plugin
reset-password
mu-law
socket-timeout-exception
poster
consensys-truffle
pid-controller
nstextattachment
javaoptions