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
proof-general
genexus-gam
ecj
proportions
actionlink
dta
vscode-problem-matcher
heroku-review-app
module-info
django-2.2
operands
rterm
smtpappender
angular-route-guards
ethercat
zen
flatpak
domain-masking
class-structure
manifold
quaggajs
wcsession
xcode9.3
android-dialer
array-broadcasting
detox
quake2
notification-channel
httr
microsoft-graph-intune