Make it easier to use an offline deb mirror by setting an environment setting.