While trying to do the change, I realised that gdebi doesn't do multiple deb file installations at a time. That's an important feature that "dpkg -i" has. Is it even worth running multiple gdebi commands for this (e.g. "gdebi pkg1.deb; gdebi pkg2.deb")? I'm not sure because that's a heck of a lot of (noisy) output.
-- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]

