Nu har det ju löst sig för dig. Men jag tänkte bara nämna att om det är något Raspbian liknande os du kör på den så kanske det går att fixa med raspi-config kommandot också. Det är en specialare som finns på Raspberry Pi och som kan göra en del olika systemkonfiguration.

Har de plankat Raspberry Pi kanske de har plankat os:et också...