Unterschiede
Hier werden die Unterschiede zwischen zwei Versionen angezeigt.
Beide Seiten der vorigen Revision Vorhergehende Überarbeitung | |||
installation_instructions [2018/11/19 16:56] ivomaintz |
installation_instructions [2018/11/26 14:34] (aktuell) ivomaintz |
||
---|---|---|---|
Zeile 15: | Zeile 15: | ||
sudo -i\\ | sudo -i\\ | ||
- | %%apt-key adv --recv-keys --keyserver keys.gnupg.net 813C9B1C%%\\ | + | %%apt-key adv --recv-keys --keyserver keyserver.ubuntu.com 813C9B1C%%\\ |
%%echo "deb http://jaguar.biologie.hu-berlin.de/sbos/ bionic main" > /etc/apt/sources.list.d/sbos.list%%\\ | %%echo "deb http://jaguar.biologie.hu-berlin.de/sbos/ bionic main" > /etc/apt/sources.list.d/sbos.list%%\\ | ||