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%%\\ | ||