David Walser <[EMAIL PROTECTED]> writes: > Guillaume Cottenceau wrote: > > David Walser <[EMAIL PROTECTED]> writes: > > > >> > It didn't when I looked. It looked as if rpmdrake wasn't > >> >configured to use a proxy. > >> I still think edit-urpm-sources.pl should show the proxy. > >>BTW, are you ever gonna rename or symlink it > > It has a proxy config, but you already know it I think. Are > >you not talking about it? > > Well I am. The problem with it is, if you have http_proxy and > ftp_proxy variables set in /etc/profile.d/proxy.sh (so basically > they're available in your environment), urpmi is going to use > that proxy, but the Software Sources Manager doesn't show that > proxy, it leads you to believe one won't be used.
Ouch. Well the problem is to know in what situations this proxy.sh can be set up, and it's done by network.pm during install.. Well those proxy setups are a mess: I suppose having two separate ones can be useful when you want to use proxy only for urpmi, or special proxy (but do you want that? I've never used a proxy in my life..). So the editor should at least tell that the "system-wide" proxy is existing and should direct to the configurator.. Added to my todo. > It can make it hard for naive users to diagnose problems that > arise because of using the proxy. > > It should be really easy for the Software Sources Manager to > check for those environment variables and show the proxy in the > GUI. > > >> to rpmdrake-sources like we discussed long ago (you didn't do > >>it then because you didn't want to break drakconf and > >>translations too close to release)? > > Well I've renamed it to edit-urpm-media but forgot it was > >decided to rename it like that. "rpmdrake-edit-media" maybe? > > I like rpmdrake-sources better (especially considering the GUI No, "sources" is a no-no. Check the archives. > name is Software Sources Manager), but that's not bad. Is now "Software Media Manager". -- Guillaume Cottenceau - http://people.mandrakesoft.com/~gc/
