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
excel-web-query
google-prediction
ts-check
relational-model
myeclipse
vectormath
univocity
string-to-symbol
ompl
delay-load
okular
database-sequence
automator
starlark
aabb
json-deserialization
oidc-client-js
field-names
rfc
bucket4j
python-responses
beforenavigate2
better-sqlite3
tibco-topic
wagtail-snippet
victoriametrics
std-system-error
pyright
networking
jcommander