Some laptop users use their machine at home and in the office or at a favorite coffee shop that makes proxy settings relevant. At the moment I miss this feature in P7. Maybe I am wrong but you need to set environment, set apt and reboot (or logout at least) to have new proxy settings work. I do not know how other products solve this but I remember an old application in Windows XP that you could have different locations set and define proxy, default printer even default home page in your default browser for each location.

I understand that this is not much a Peppermint issue, not even trivial. Just for the record, an application for automatic proxy setting application (e.g. depending on your IP address) might be useful for Peppermint users on the move.

This is just to say thank you for implementing network proxy settings in PM8. Will give a try for running proxy.pac on my laptop soon.