Tiny Proxy

Tiny Proxy is a Chrome extension developed by Achernar. According to the data from Chrome web store, current version of Tiny Proxy is 0.6.3, updated on 2020-03-11.
95 users have installed this extension. No user have rated this extension yet.

A small footprint proxy extension. Allows simple and complex settings. Quick and easy to switch between proxies.

Tiny proxy allows you to manage multiple proxy servers, and to change easily between them.

You can specify a set of rules to select which websites are proxied, or not, by your different servers.
The current proxy settings are defined by Tiny Proxy as PAC scripts.

This extension is a work in progress. Your input is welcome (and please, do).

TP implements the following types of proxies:
- "server": all other "proxies" are directly/indirectly using one or several "server" proxies
- "PAC": currently only supports local PAC script code.
- "alias": shortcut to any of the other types of proxies.
- "switch": list of rules to fine-tune the websites to use with or without a proxy
- "pool": if you have a set of unreliable proxies you can group them in "pools" and let chrome select the first valid one.

TP allows you to add temporary proxy rules (see popup). This way you can combine multiples proxy profiles.

Tiny Proxy doesn't come with predefined proxy servers. But it can very easily import proxies from known websites by copy+pasting a list into its import form.
Please, be careful of what you use. Not all servers are secure (far from it).

Notes:
You have to select which proxies appear in the popup list. In the settings window, check the box next to their name.
TP does not support proxy authentication yet. Need volunteers to test...
TP should be compatible with any unicode letter/symbol. If you encounter a problem, please contact me.
Online help is available here (with screenshots and detailed explanations): http://users.skynet.be/alternity/programming/TP/

2020-03-03 (0.6.3): bug fixes + export of a subset of proxies
2019-12-07 (0.6): Strengthened handling of user provided PACscripts, color-coded errors while editing, drag & drop (editing)...
2019-10-23 (0.5): Bug fixes and new features (import proxy servers by copy/paste list from website)
2019-07-05 (0.4.3.5): Bug fixed for proxy names using unicode chars. Chrome refuses non-ASCII chars in proxy script. Symbols used in other charsets/languages won't generate a proxy error anymore. Hopefully...
2019-07-04 (0.4.3.3): bug fixes including failure with servers with per-protocol additional servers
2019-07-02 (0.4.3): added online help page
2019-06-25 (0.4.2): added: draggability to proxies list in "switch" and "pool".