tools for managing Linux console
