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-assistant
blitz.js
tensorflow-extended
urlrequest
vue-pwa
minidumpwritedump
termination
exec
intellisense
chruby
lightweight-stream-api
formvalidation-plugin
splist
grunt-contrib-jshint
device-detection
azure-image-builder
gettime
firebase-crash-reporting
alexacrm-toolkit
svg-transforms
ember-cli-addons
channels
keylistener
maven-site-plugin
outlook-2011
blender
composite-literals
sessionid
mutual-exclusion
pastebin