Ich hatte mal wieder im Netzwerk herumgespielt und einen DHCP-Server auf einem anderen Rechner aufgesetzt. Dieser bezog seine IP früher jedoch auch über DHCP und als die IP Verleihzeit abgelaufen war, verabschiedete sich mein DHCP-Server auf einmal aus dem Netz. Dieser Rasberry PI brauchte also eine feste IP Adresse. Beim Rasberry OS wird das Netzwerk über NetzwerkManager verwaltet. Ich werde…