Per instance proxy for FreshRSS

FreshRSS only have per-feed proxy config, which isn't very useful in my case (It would be tedious to manually set proxy for each feed).

As it turns out, FreshRSS uses curl to fetch feeds, so if we can config proxy for its curl backend, FreshRSS would uses the proxy anyway.

After some digging, I found that there's curl_options in its config.php (Which serves as per instance config).

It may be located at /var/www/FreshRSS/data/config.php. (Config file path may differ with different installation.)

Edit curl_options for your proxy config:

array(
    // ...
    'curl_options' =>
    array (
	CURLOPT_PROXYTYPE => 7, // SOCKS5H
	CURLOPT_PROXY => '127.0.0.1',
	CURLOPT_PROXYPORT => 1080,
    )
    // ...
);