correct deb bash script

use the right repos