Add --playwright-proxy option for /web using playwright with chromium

[Zhaoyilunnn]

Hi Team,

Thanks a lot for the great work.

It seems that playwright with chromium does not use proxy be default. So this pull request introduces support for specifying a proxy server when using Playwright for web scraping. It adds a new --playwright-proxy command-line argument, allowing users to route Playwright browser traffic through a proxy. This is useful for users who need to access web content behind a firewall or want to anonymize their scraping activities (I guess this feature could be particularly useful for users in China).

Changes

• New Argument: Added --playwright-proxy to the CLI (in aider/args.py and aider/scrape.py) to allow users to specify a proxy URL for Playwright.
• Scraper Update: Updated the Scraper class (aider/scrape.py) to accept and use the proxy setting when launching Playwright browsers. If the argument is not provided, it falls back to the HTTP_PROXY/http_proxy environment variables.

The code changes are done by aider

[CLAassistant]

All committers have signed the CLA.

[Copilot]

Pull Request Overview

This PR adds support for specifying a proxy server for Playwright Chromium by introducing a new --playwright-proxy argument. The changes update the CLI argument parsing in aider/args.py, propagate the proxy setting through aider/scrape.py, and wire it into the web command in aider/commands.py.

Reviewed Changes

Copilot reviewed 3 out of 3 changed files in this pull request and generated no comments.

File	Description
aider/scrape.py	Updated Scraper init to accept playwright_proxy; passed it to browser.new_context; and modified main() to support CLI args.
aider/commands.py	Passed the playwright_proxy argument from the command line to the Scraper.
aider/args.py	Added the --playwright-proxy argument to the parser with help text.

Comments suppressed due to low confidence (2)

aider/scrape.py:163

• [nitpick] Consider adding a brief comment or enhancing the docstring to clarify the expected format for proxy URLs. This can help users avoid misconfigurations when providing the proxy parameter.

proxy_url = self.playwright_proxy or os.environ.get("HTTP_PROXY") or os.environ.get("http_proxy")

aider/scrape.py:89

• [nitpick] Consider expanding the documentation to briefly mention the supported proxy URL formats and any potential limitations, to guide users on correct usage.

`playwright_proxy` - proxy server for Playwright Chromium (e.g., http://127.0.0.1:7890)