Skip to content

Use apt-get to install packages - #11824

Merged
srittau merged 2 commits into
python:mainfrom
srittau:apt-get
Apr 27, 2024
Merged

srittau merged 2 commits into
python:mainfrom
srittau:apt-get

Conversation

@srittau

@srittau srittau commented Apr 24, 2024

Copy link
Copy Markdown
Collaborator

This fixes a warning about using apt in script.

This fixes a warning about using apt in script.
@github-actions

Copy link
Copy Markdown
Contributor

According to mypy_primer, this change has no effect on the checked open source code. 🤖🎉

@srittau

srittau commented Apr 24, 2024

Copy link
Copy Markdown
Collaborator Author

apt/stubtest is running amok at the moment, at least in GitHub's containers. Let's wait for that to be resolved, before trying this again.

@srittau

srittau commented Apr 24, 2024

Copy link
Copy Markdown
Collaborator Author

Stubtest works again. Ready for review.

Comment thread stdlib/tkinter/__init__.pyi Outdated
# Tk's manual pages more than 10 years ago. Use the latest manual pages instead:
#
# $ sudo apt install tk-doc tcl-doc
# $ sudo apt-get install tk-doc tcl-doc

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.

apt-get is recommended for use in scripts while apt is still the recommended tool for interactive use. All other changes look good to me except this one which I think is better left unchanged as it describes commands to be executed in the terminal.

@srittau
srittau merged commit caeb45a into python:main Apr 27, 2024
@srittau
srittau deleted the apt-get branch April 27, 2024 12:25
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