Skip to content

Document the -s/--steal-output CLI option#745

Merged
inducer merged 1 commit into
inducer:mainfrom
rul:document-steal-output
Jul 12, 2026
Merged

Document the -s/--steal-output CLI option#745
inducer merged 1 commit into
inducer:mainfrom
rul:document-steal-output

Conversation

@rul

@rul rul commented Jul 12, 2026

Copy link
Copy Markdown
Contributor

Hi,

--steal-output was the only argument without a help string, so it appears in the --help output with no explanation. Add one, noting that the feature is currently unimplemented (passing -s raises NotImplementedError in Debugger.__init__).

Reported as Debian bug #773262.

--steal-output was the only argument without a help string, so it appears
in the --help output with no explanation. Add one, noting that the feature
is currently unimplemented (passing -s raises NotImplementedError in
Debugger.__init__).

Reported as Debian bug #773262 (https://bugs.debian.org/773262).
@inducer inducer merged commit ede320b into inducer:main Jul 12, 2026
8 checks passed
@inducer

inducer commented Jul 12, 2026

Copy link
Copy Markdown
Owner

Thx!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants