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
rexml
multiplayer
udid
content-script
ciimage
control-template
sat-solvers
ssh-keys
jsr310
appliance
fstat
axis
mockrestserviceserver
jssip
.net-runtime
ggforce
sysctl
pyicu
multicastdelegate
xperf
jprofiler
jitsi
inputformatter
papi
incremental-build
valgrind
stamp
verifyerror
nopcommerce
socket.io-1.0