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
mixed-type
tr1
armadillo
bit-representation
fetchrequest
xmldom
direct-composition
usability
open-telemetry
defaultnetworkcredentials
fable-f#
resharper-sdk
windows-mixed-reality
document-ready
markov
productivity-power-tools
any
seccomp
visibility
gtag.js
keepalived
biplot
full-text-search
nakama
index-sequence
ms-adal-angular
req
changenotifier
valuechangelistener
simpleitk