From 1b7b8123ca718d10844687cf6b796cf1f5f69123 Mon Sep 17 00:00:00 2001 From: Delyan Angelov Date: Sat, 27 Jul 2024 11:34:42 +0300 Subject: [PATCH] vrepl: suppress the welcome message, if VQUIET is set (#21941) --- .github/workflows/docs_ci.yml | 2 ++ .github/workflows/vinix_ci.yml | 4 ++++ .github/workflows/vup_works.yml | 2 ++ cmd/tools/vrepl.v | 4 ++++ 4 files changed, 12 insertions(+) diff --git a/.github/workflows/docs_ci.yml b/.github/workflows/docs_ci.yml index 73215768ac..903bff1ba2 100644 --- a/.github/workflows/docs_ci.yml +++ b/.github/workflows/docs_ci.yml @@ -9,10 +9,12 @@ on: paths-ignore: - '**.yml' - '!**/docs_ci.yml' + - 'cmd/tools/vrepl.v' pull_request: paths-ignore: - '**.yml' - '!**/docs_ci.yml' + - 'cmd/tools/vrepl.v' concurrency: group: ${{ github.workflow }}-${{ github.ref == 'refs/heads/master' && github.sha || github.ref }} diff --git a/.github/workflows/vinix_ci.yml b/.github/workflows/vinix_ci.yml index 6be90d6d8f..88ac7769be 100644 --- a/.github/workflows/vinix_ci.yml +++ b/.github/workflows/vinix_ci.yml @@ -5,6 +5,9 @@ on: pull_request: paths-ignore: - '**.md' + - '**.yml' + - '!**/vinix_ci.yml' + - 'cmd/tools/vrepl.v' push: branches: - master @@ -12,6 +15,7 @@ on: - '**.md' - '**.yml' - '!**/vinix_ci.yml' + - 'cmd/tools/vrepl.v' concurrency: group: ${{ github.workflow }}-${{ github.ref == 'refs/heads/master' && github.sha || github.ref }} diff --git a/.github/workflows/vup_works.yml b/.github/workflows/vup_works.yml index a1b1817ae3..95326d4765 100644 --- a/.github/workflows/vup_works.yml +++ b/.github/workflows/vup_works.yml @@ -9,6 +9,7 @@ on: - '**.out' - '!**/vup_works.yml' - '!cmd/tools/vup.v' + - 'cmd/tools/vrepl.v' pull_request: paths-ignore: - '**.md' @@ -17,6 +18,7 @@ on: - '**.out' - '!**/vup_works.yml' - '!cmd/tools/vup.v' + - 'cmd/tools/vrepl.v' concurrency: group: ${{ github.workflow }}-${{ github.ref == 'refs/heads/master' && github.sha || github.ref }} diff --git a/cmd/tools/vrepl.v b/cmd/tools/vrepl.v index acbbf22ff7..0cdd1df96b 100644 --- a/cmd/tools/vrepl.v +++ b/cmd/tools/vrepl.v @@ -41,6 +41,7 @@ mut: const is_stdin_a_pipe = os.is_atty(0) == 0 const vexe = os.getenv('VEXE') +const vquiet = os.getenv('VQUIET') != '' const vstartup = os.getenv('VSTARTUP') const repl_folder = os.join_path(os.vtmp_dir(), 'repl') @@ -345,6 +346,9 @@ fn highlight_repl_command(command string) string { } fn print_welcome_screen() { + if vquiet { + return + } cmd_exit := highlight_repl_command('exit') cmd_list := highlight_repl_command('list') cmd_help := highlight_repl_command('help')