Hmm now I notice the Bela is not showing up as a volume, thus the terminal spits out:
ls: /Volumes/BELABOOT: No such file or directory
This must be the problem. I tried two different usb C adapters now with no luck. It should work to power it only with the usb cable right? Or would I need the 5v adapter plugged in as well?
The bela lights up like usual so it looks like its fine. Perhaps I could try connecting it directly to a router and logging in via the network?