Author Topic: PM8 ideas?  (Read 12596 times)

Offline Peter

  • Newly Subscribed
  • *
  • Posts: 11
  • Karma: 0
  • New Forum User
    • View Profile
  • Peppermint version(s): 7 Respin
Re: PM8 ideas?
« Reply #45 on: May 19, 2017, 06:27:26 am »
Will it be this version?

"no Cinnamon dependencies except cinnamon-translations", as written there.

Offline PCNetSpec

  • Administrator
  • Hero
  • *****
  • Posts: 26452
  • Karma: 65531
  • "-rw-rw-rw-" .. The Number Of The Beast
    • View Profile
    • PCNetSpec
  • Peppermint version(s): Peppermint 10
Re: PM8 ideas?
« Reply #46 on: May 19, 2017, 06:56:05 am »
No .. 2.8.7 (as found in that PPA) was the version we had in Peppermint 7, Peppermint 8 will have a more recent version :)
« Last Edit: May 19, 2017, 06:59:24 am by PCNetSpec »
WARNING: You are logged into reality as 'root' .. logging in as 'insane' is the only safe option.

Team Peppermint

Offline mracz

  • Member
  • ***
  • Posts: 61
  • Karma: 1
  • New Forum User
    • View Profile
  • Peppermint version(s): 7
Re: PM8 ideas?
« Reply #47 on: June 03, 2017, 01:11:32 am »
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.