verible-verilog-lint output redirection

[Eliyahu Trigoub]

Hi.

How to send output of verible-verilog-lint to file, instead of STDOUT?

Thanks.

[David Fang]

You could use standard shell redirection with > file.  Or does that not work for some reason?

--
You received this message because you are subscribed to the Google Groups "Verible Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email to verible-user...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/verible-users/096f20e7-191c-4985-afab-d4b65dd3d087n%40googlegroups.com.

[eli...@partner.net.il]

Hi.

Unfortunately, standard shell redirection with ‘> file’ – not work, created empty file, and output of verible-verilog-lint send to STDOUT.

How can this behaviour be changed?

Thanks.

To view this discussion on the web visit https://groups.google.com/d/msgid/verible-users/CAHXH45fWhTs-%2Bj77Qv2DS80eycZQBnpQ_S%2BRrni6Nuv0mZhscw%40mail.gmail.com.

[David Fang]

How about >& file (combining stdout and stderr)?

[eli...@partner.net.il]

Hi.

Problem solved.

Information about this should be added to the verible-verilog-lint documentation.

 

Thanks.

 

From: Henner Zeller <h.ze...@acm.org>
Sent: Monday, 5 August 2024 22:55
To: eli...@partner.net.il
Cc: David Fang <fan...@gmail.com>; Verible Users <veribl...@googlegroups.com>
Subject: Re: [verible-users] verible-verilog-lint output redirection

 

On Mon, 5 Aug 2024 at 12:44, <eli...@partner.net.il> wrote:
>
> Hi.
>
> Unfortunately, standard shell redirection with ‘> file’ – not work, created empty file, and output of verible-verilog-lint send to STDOUT.

 

the messages are sent to stderr, so you need to redirect with 2>

 

  verible-verilog-lint foobar.sv 2> /tmp/messages.out

> To view this discussion on the web visit https://groups.google.com/d/msgid/verible-users/000001dae76f%24e750cfb0%24b5f26f10%24%40partner.net.il.