import { Colors , ConsoleTerminalProvider , Terminal } from '@rushstack/node-core-library' ; const terminal = new Terminal ( new ConsoleTerminalProvider ( ) ) ; terminal . writeLine ( 'For instructions on debugging Rush, please see this documentation:' ) ; terminal . writeLine ( Colors . bold ( 'https://rushjs.io/pages/contributing/debugging/' ) ) ;