Ich will meine Paketquelle ändern, dazu habe ich folgendes im Ubuntuserver 18.04.3 LTS (in Virtualbox als Gast) eingegeben:
sudo sed -i 's/http://de.archive.ubuntu.com/ftp.halifax.rwth-aachen.de/g' /etc/apt/sources.list
aber das funktioniert nicht:
sed -e expression #1,char 10:unknown option to 's'
dann habe ich
sudo sed -i 's/de.archive.ubuntu.com/ftp.halifax.rwth-aachen.de/g' /etc/apt/sources.list
im Terminal ausgeführt aber wurde nicht in sources.list eingetragen
Was muss ich machen damit ich einen deutschen Server integrieren kann?