◐ Shell
reader mode source ↗
Skip to content

bpo-31603 Add file args to input builtin#3814

Closed
wt wants to merge 1 commit into
python:mainfrom
wt:input_args
Closed

bpo-31603 Add file args to input builtin#3814
wt wants to merge 1 commit into
python:mainfrom
wt:input_args

Conversation

@wt

@wt wt commented Sep 29, 2017 •
edited by bedevere-bot
Loading

Copy link
Copy Markdown

This is a change to add support for overriding input, output, and error
files used by the input builtin.

See https://bugs.python.org/issue31603 for more.

https://bugs.python.org/issue31603

@wt wt force-pushed the input_args branch 2 times, most recently from a3a931e to 35922ce Compare September 29, 2017 16:13
@wt

wt commented Sep 29, 2017

Copy link
Copy Markdown
Author

The new commit I just pushed only renames the args. I basically set fin/fout/ferr to the new args to avoid frivolous code changes. I would like to settle the question about the need to flush the errfile before making those changes just so that part of the diff doesn't get hidden.

Add file args to input builtin. …
a67b7dd 
This is a change to add support for overriding input, output, and error
files used by the input builtin.

See https://bugs.python.org/issue31603 for more.
@merwok merwok changed the title Add file args to input builtin. Oct 3, 2017
@github-actions

github-actions Bot commented Feb 23, 2022

Copy link
Copy Markdown

This PR is stale because it has been open for 30 days with no activity.

@github-actions github-actions Bot added the stale Stale PR or inactive for long period of time. label Feb 23, 2022
MaxwellDupre
MaxwellDupre suggested changes Feb 25, 2022
View reviewed changes

@MaxwellDupre MaxwellDupre left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Hide comment

Python Users should be aware of what is available hence, they need some documentation plus a NEWS entry.

@github-actions github-actions Bot removed the stale Stale PR or inactive for long period of time. label Jul 29, 2022
@github-actions

github-actions Bot commented Sep 1, 2022

Copy link
Copy Markdown

This PR is stale because it has been open for 30 days with no activity.

@github-actions github-actions Bot added the stale label Sep 1, 2022
@iritkatriel

iritkatriel commented Oct 29, 2022 •
edited
Loading

Copy link
Copy Markdown
Member

Closing as the OP indicated on the issue that they will not complete this.

@wt wt mannequin mentioned this pull request Oct 29, 2022
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

1 more reviewer

@MaxwellDupre MaxwellDupre

Reviewers whose approvals may not affect merge requirements

Assignees

No one assigned

Labels

awaiting core review stale

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

6 participants

@wt @iritkatriel @MaxwellDupre @the-knights-who-say-ni @ezio-melotti @bedevere-bot