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
process-monitor
atom-liveserver
textselection
harmon.ie
pki
leakcanary
casadi
members
rotational-matrices
quadratic
upboard
netcoreapp3.1
localsystem
magento2.4
acme
react-intersection-observer
certenroll
grads
browser-extension
office-addins
tire
auto-update
clickable
chromecast
google-pagespeed-insights-api
classgraph
c#-4.0
hk2
xcode11
simplex-algorithm