Re: gawk pretty-printing

[Andrew J. Schorr]

Hi,

On Fri, Sep 20, 2024 at 11:21:03AM -0400, John Devin wrote:
> Just a basic question today: does the `gawk --pretty-print` option
> always produce tab-indented code, as opposed to space-indented?

Looking at the code in profile.c, I'd say that yes -- it uses
tabs for the indentations. Are you asking whether that's
configurable by an option? I don't think so at the moment.
There are tabs hardwired all over the code.

> For context, vim's filetype plugin for awk includes some conveniences
> for gawk specifically, including using gawk as a formatter. I'd like
> to improve the plugin to respect the user's settings regarding tabs
> and indentation, so I just want to confirm gawk's behavior before I
> do. Thanks for your time.

Ah.

Regards,
Andy