[07:49] <Burps> Hello : I'd like to install edubuntu on a box, but during the install, I'd like to change the mirror to a local repo : is that possible ?