Useful Development Tools for Linux Developer 1. compiled binary bazel (compiled under CentOS Linux release 7.4.1708 (Core)) 2. protoc 3. scripts 3.1 myproc quick display my processes 3.2 https_server.py