[Bug 861443] Re: There is no easy way to change proxy settings in Ubuntu 11.10

2013-07-03 Thread Darryn van Tonder
+1

I've got hacks all over the place to set proxy settings based on
locations. This would be an ideal feature for Network Travellers.

Thanks for all the great work.

-- 
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/861443

Title:
  There is no easy way to change proxy settings in Ubuntu 11.10

To manage notifications about this bug go to:
https://bugs.launchpad.net/gnome-control-center/+bug/861443/+subscriptions

-- 
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs


[Bug 861443] Re: There is no easy way to change proxy settings in Ubuntu 11.10

2013-02-24 Thread Spartan117
Response:
Still no way to set exceptions to proxy settings in the network applet in 12.04.

I would also add that with the previous network settings GUI, we had the 
possibility to create profiles for proxy settings. It was quite useful when 
you worked regularly at different locations, each with different network 
proxy... You just had to select the corresponding profile and everything 
worked. Now you have to change your settings manually each time you move to 
another location.
 Looks like a regression to me :-(

still a problem in Ubuntu 13.04 raring!!!
profiles would be a great idea... as you could choose to not have a proxy 
network at home but one at work! 
It would be great if it was fixed.. like it was in the previous proxy network 
applet. 

** Also affects: gnome-control-center
   Importance: Undecided
   Status: New

-- 
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/861443

Title:
  There is no easy way to change proxy settings in Ubuntu 11.10

To manage notifications about this bug go to:
https://bugs.launchpad.net/gnome-control-center/+bug/861443/+subscriptions

-- 
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs


[Bug 861443] Re: There is no easy way to change proxy settings in Ubuntu 11.10

2012-06-04 Thread Little Jawa
Still no way to set exceptions to proxy settings in the network applet
in 12.04.

I would also add that with the previous network settings GUI, we had the 
possibility to create profiles for proxy settings. It was quite useful when 
you worked regularly at different locations, each with different network 
proxy... You just had to select the corresponding profile and everything 
worked. Now you have to change your settings manually each time you move to 
another location.
Looks like a regression to me :-(

-- 
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/861443

Title:
  There is no easy way to change proxy settings in Ubuntu 11.10

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-control-center/+bug/861443/+subscriptions

-- 
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs


[Bug 861443] Re: There is no easy way to change proxy settings in Ubuntu 11.10

2011-10-27 Thread MrCopilot
Duplicate Bug, Duplicate comment...

Disappointed

New Updates still do not allow for setting ignore_hosts, which in almost
all cases where a proxy is needed there is an intranet that is not sent
through the proxy.

I love automatic security updates, an essential part of the Ubuntu
experience.

I do not love nor am I enchanted by having the aforementioned automatic
security update remove access to the corporate intranet that was working
fine before I consented to install updates.

Removal of the old version left its settings around, and when compared
to new set, they were better organized and more complete.

I've added ignore_hosts setting to the new set in hopes that its
implemented but not in the gui yet. I'll find out on the next reboot I
suppose, Else I am confined to Firefox for the intranet as it allows
manual proxy setup with exclusions.

This replacement was shortsighted and not at all customer focused. So
here is a tip for you, free of charge.

If a large group of your users depend on standard ways of doing things,
PROXY SETTINGS for instance, DO NOT REPLACE THAT FUNCTIONALITY with LESS
FUNCTION.

One would think this is self evident, I guess not.

This bug is from early September, Almost November now and it is almost
finished, but pushed out on my machine anyway.

Just Wow.

-- 
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/861443

Title:
  There is no easy way to change proxy settings in Ubuntu 11.10

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-control-center/+bug/861443/+subscriptions

-- 
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs


[Bug 861443] Re: There is no easy way to change proxy settings in Ubuntu 11.10

2011-10-27 Thread Mathieu Trudel-Lapierre
MrCopilot;

We understand your frustration. Ignoring hosts for proxy is something
that tends to be useful, but perhaps it was deemed not as frequently
used as the other functions by upstream developers, which is why it's no
longer exposed in the UI (which is something Ubuntu gets from upstream,
so it applies to all distributions using Gnome3). As you undoubtedly
have noticed, the option is still available via command-line, as such:

gsettings set org.gnome.system.proxy ignore-hosts ['localhost',
'127.0.0.0/8', 'some.other.host']

However, the issue you're describing is something different than not
being able to change proxy settings at all. As such, I'd like to invite
you to file a new, separate bug report that covers *precisely and only*
exposing ignore-hosts in UI. We can then send this report to the
upstream developers at GNOME (alternatively, you can just file the bug
there directly (see https://wiki.ubuntu.com/Bugs/Upstream/GNOME)). This
way it will run the best chance of being taken care of by developers.

-- 
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/861443

Title:
  There is no easy way to change proxy settings in Ubuntu 11.10

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-control-center/+bug/861443/+subscriptions

-- 
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs


[Bug 861443] Re: There is no easy way to change proxy settings in Ubuntu 11.10

2011-10-27 Thread MrCopilot
No sweat, I'll file the upstream bug, however let me quote the
desription of this bug and your reply and you can weigh wether this bug
is squashed.

I can't found a easy (not-cli, at least) way of changing the proxy
settings in Ubuntu 11.10.

As you undoubtedly have noticed, the option is still available via 
command-line, as such:
gsettings set org.gnome.system.proxy ignore-hosts ['localhost', 
'127.0.0.0/8', 'some.other.host']

Clearly, no_proxy or ignore_hosts is a proxy setting. Just try using
curl in a corporate intranet environment of moderate size without it.

I would also expect to see seperate setting for https_proxy but that at
least is an actual edgecase.

The minor inconvienience of finding out, why is the intranet down was easily 
remedied, proxy settings changed.
Long time user, setting via commandline of via the tool d'jure for gconf was 
also easily discoverable and was minimally distracting overall.

What is more disturbing was the choice to blindly update the tools with
a demonstrably inferior reiteration. That is a Ubuntu decision, and a
Ubuntu bug. I recommend ubuntu to many of my coworkers, taking down
access to 50% to 90% of their job this morning was a bug.

Network setup, configuration, and maintenance must be a high priority,
if there is no maintainer for those packages that touch these areas and
ship with the base Ubuntu install, then I am taken well aback. If there
is such person(s) they let quite a few of us down today, and tarnished
an otherwise shiny and spreading Ubuntu reputation within our
organization.

So, I will leave the way I came in, disappointed...

-- 
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/861443

Title:
  There is no easy way to change proxy settings in Ubuntu 11.10

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-control-center/+bug/861443/+subscriptions

-- 
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs


[Bug 861443] Re: There is no easy way to change proxy settings in Ubuntu 11.10

2011-10-17 Thread ThierryM
I agree with RawwrBag. The proxy settings don't work on 11.10 even after
a reboot. On 10.10 it's worked immediatly without any problem and we
could choose between many locations (it isn't possible since 11.10).

-- 
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/861443

Title:
  There is no easy way to change proxy settings in Ubuntu 11.10

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-control-center/+bug/861443/+subscriptions

-- 
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs


[Bug 861443] Re: There is no easy way to change proxy settings in Ubuntu 11.10

2011-10-17 Thread BEmanuel.PE
Adjusting gconf proxy works!

-- 
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/861443

Title:
  There is no easy way to change proxy settings in Ubuntu 11.10

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-control-center/+bug/861443/+subscriptions

-- 
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs


[Bug 861443] Re: There is no easy way to change proxy settings in Ubuntu 11.10

2011-10-17 Thread RawwrBag
Does somebody following this want to file a separate bug for this? I'm
crazy busy at work today but this is definitely a critical day one bug
that should be addressed.

-- 
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/861443

Title:
  There is no easy way to change proxy settings in Ubuntu 11.10

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-control-center/+bug/861443/+subscriptions

-- 
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs


[Bug 861443] Re: There is no easy way to change proxy settings in Ubuntu 11.10

2011-10-17 Thread RawwrBag
Nevermind, I took care of it: bug 876839.

-- 
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/861443

Title:
  There is no easy way to change proxy settings in Ubuntu 11.10

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-control-center/+bug/861443/+subscriptions

-- 
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs


[Bug 861443] Re: There is no easy way to change proxy settings in Ubuntu 11.10

2011-10-13 Thread RawwrBag
For me, the proxy settings simply have no effect, even through reboot.
Both Firefox and Chrome do not use the proxy. Also the exempt hosts list
is missing.

-- 
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/861443

Title:
  There is no easy way to change proxy settings in Ubuntu 11.10

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-control-center/+bug/861443/+subscriptions

-- 
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs


[Bug 861443] Re: There is no easy way to change proxy settings in Ubuntu 11.10

2011-10-13 Thread RawwrBag
More info: the new GUI doesn't correctly toggle
gconf/system/http_proxy/use_http_proxy to true when only a socks server
is specified. Without this, neither Chrome nor Firefox will attempt to
tunnel through socks. As a workaround, set this value manually using
gconf-editor. Also the ignored hosts list is very useful for users on
corporate networks where they do need some internal resources. It should
be included.

-- 
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/861443

Title:
  There is no easy way to change proxy settings in Ubuntu 11.10

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-control-center/+bug/861443/+subscriptions

-- 
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs


[Bug 861443] Re: There is no easy way to change proxy settings in Ubuntu 11.10

2011-10-04 Thread Rodrigo Moya
Do you have the 2 packages that fix the issue (see comments #5 and #6)?

-- 
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/861443

Title:
  There is no easy way to change proxy settings in Ubuntu 11.10

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-control-center/+bug/861443/+subscriptions

-- 
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs


[Bug 861443] Re: There is no easy way to change proxy settings in Ubuntu 11.10

2011-10-04 Thread Adam Niedling
It was my bad, sorry. I didn't do a complete update.
It works fine.

-- 
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/861443

Title:
  There is no easy way to change proxy settings in Ubuntu 11.10

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-control-center/+bug/861443/+subscriptions

-- 
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs


[Bug 861443] Re: There is no easy way to change proxy settings in Ubuntu 11.10

2011-10-03 Thread Adam Niedling
I still don't have any way to set proxy settings in Oneiric updated just now.
The network settings is missing in the control center.

Also in the network manager applet I can't find any way to change proxy
settings.

-- 
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/861443

Title:
  There is no easy way to change proxy settings in Ubuntu 11.10

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-control-center/+bug/861443/+subscriptions

-- 
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs


[Bug 861443] Re: There is no easy way to change proxy settings in Ubuntu 11.10

2011-09-29 Thread Jean-Baptiste Lallement
I confirm that this feature vanished after applying updates on
2011-09-28.

** Also affects: gnome-control-center (Ubuntu Oneiric)
   Importance: Undecided
   Status: Confirmed

** Changed in: gnome-control-center (Ubuntu Oneiric)
   Importance: Undecided = Critical

** Changed in: gnome-control-center (Ubuntu Oneiric)
 Assignee: (unassigned) = Canonical Desktop Team (canonical-desktop-team)

** Changed in: gnome-control-center (Ubuntu Oneiric)
Milestone: None = ubuntu-11.10

** Changed in: gnome-control-center (Ubuntu Oneiric)
 Assignee: Canonical Desktop Team (canonical-desktop-team) = (unassigned)

** Changed in: gnome-control-center (Ubuntu Oneiric)
 Assignee: (unassigned) = Canonical Desktop Team (canonical-desktop-team)

** Tags added: regression-release rls-mgr-o-tracking

-- 
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/861443

Title:
  There is no easy way to change proxy settings in Ubuntu 11.10

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-control-center/+bug/861443/+subscriptions

-- 
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs


[Bug 861443] Re: There is no easy way to change proxy settings in Ubuntu 11.10

2011-09-29 Thread Martin Pitt
** Changed in: gnome-control-center (Ubuntu Oneiric)
 Assignee: Canonical Desktop Team (canonical-desktop-team) = Rodrigo Moya 
(rodrigo-moya)

-- 
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/861443

Title:
  There is no easy way to change proxy settings in Ubuntu 11.10

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-control-center/+bug/861443/+subscriptions

-- 
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs


[Bug 861443] Re: There is no easy way to change proxy settings in Ubuntu 11.10

2011-09-29 Thread Martin Pitt
** Also affects: network-manager-applet (Ubuntu)
   Importance: Undecided
   Status: New

-- 
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/861443

Title:
  There is no easy way to change proxy settings in Ubuntu 11.10

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-control-center/+bug/861443/+subscriptions

-- 
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs


[Bug 861443] Re: There is no easy way to change proxy settings in Ubuntu 11.10

2011-09-29 Thread Launchpad Bug Tracker
This bug was fixed in the package network-manager-applet -
0.9.1.90-0ubuntu3

---
network-manager-applet (0.9.1.90-0ubuntu3) oneiric; urgency=low

  * debian/libnm-gtk-dev.install:
- Add missing .pc file (LP: #861443)
 -- Rodrigo Moya rodrigo.m...@canonical.com   Thu, 29 Sep 2011 10:24:08 +0200

** Changed in: network-manager-applet (Ubuntu Oneiric)
   Status: New = Fix Released

-- 
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/861443

Title:
  There is no easy way to change proxy settings in Ubuntu 11.10

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-control-center/+bug/861443/+subscriptions

-- 
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs


[Bug 861443] Re: There is no easy way to change proxy settings in Ubuntu 11.10

2011-09-29 Thread Martin Pitt
** Changed in: gnome-control-center (Ubuntu Oneiric)
   Status: Confirmed = In Progress

-- 
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/861443

Title:
  There is no easy way to change proxy settings in Ubuntu 11.10

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-control-center/+bug/861443/+subscriptions

-- 
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs


[Bug 861443] Re: There is no easy way to change proxy settings in Ubuntu 11.10

2011-09-29 Thread Launchpad Bug Tracker
This bug was fixed in the package gnome-control-center -
1:3.2.0-0ubuntu3

---
gnome-control-center (1:3.2.0-0ubuntu3) oneiric; urgency=low

  [ Rodrigo Moya ]
  * debian/patches/00git_show_search_view.patch:
- Make sure we gtk_widget_show the search view (LP: #860950)
  * debian/UbuntuLogo.png:
- Use the correct version of the icon (LP: #860497)
  * debian/control:
- Add missing NetworkManager build dependencies (LP: #861443)
  * debian/patches/12_add_never_turn_screen_off.patch:
- Add back the never turn screen off option (LP: #862154)

  [ Jeremy Bicha ]
  * debian/patches/53_use_ubuntu_help.patch: Use gnome-help when running
GNOME or GNOME Fallback (LP: #852911)
 -- Rodrigo Moya rodrigo.m...@canonical.com   Thu, 29 Sep 2011 12:47:53 +0200

** Changed in: gnome-control-center (Ubuntu Oneiric)
   Status: In Progress = Fix Released

-- 
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/861443

Title:
  There is no easy way to change proxy settings in Ubuntu 11.10

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-control-center/+bug/861443/+subscriptions

-- 
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs


[Bug 861443] Re: There is no easy way to change proxy settings in Ubuntu 11.10

2011-09-28 Thread Nicolás Abel Carbone
** Attachment added: gnome-control-center.png
   
https://bugs.launchpad.net/bugs/861443/+attachment/2474622/+files/gnome-control-center.png

-- 
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/861443

Title:
  There is no easy way to change proxy settings in Ubuntu 11.10

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-control-center/+bug/861443/+subscriptions

-- 
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs


[Bug 861443] Re: There is no easy way to change proxy settings in Ubuntu 11.10

2011-09-28 Thread Launchpad Bug Tracker
Status changed to 'Confirmed' because the bug affects multiple users.

** Changed in: gnome-control-center (Ubuntu)
   Status: New = Confirmed

-- 
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/861443

Title:
  There is no easy way to change proxy settings in Ubuntu 11.10

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-control-center/+bug/861443/+subscriptions

-- 
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs


[Bug 861443] Re: There is no easy way to change proxy settings in Ubuntu 11.10

2011-09-28 Thread spu...@gmail.com
have some problem after today apt-get upgrade

-- 
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/861443

Title:
  There is no easy way to change proxy settings in Ubuntu 11.10

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-control-center/+bug/861443/+subscriptions

-- 
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs