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
formal-semantics
hardware-acceleration
android-data-usage
payflowpro
alamofire5
haskell-persistent
unpivot
js-scrollintoview
stalled
angularfire2
sharelatex
iredmail
evernote
python-3.5
hint
rascal
offset
oracle-golden-gate
phosphor
flutter-web-browser
ngtools
autocode
pkzip
c++builder
pep8
node.js-tools
2-satisfiability
swiftpm
netbeans-13
pwa