answer "default color profile for gnome-terminal" [(diff)][1] [1]: https://trac.torproject.org/projects/tor/wiki/doc/TorBOX/Dev?action=diff&version=883 URL: https://trac.torproject.org/projects/tor/wiki/doc/TorBOX/Dev?version=883