Re: Default partitions allocate only 1GB to /

[tetrahedra]

On Sat, Feb 27, 2021 at 03:27:41PM -0600, Edgar Pettijohn wrote:
Its more likely that you accidentaly used dd to write to a usb stick 
and instead
wrote to a file in /dev.  Thats the only way I've ever had this
problem.

You're right -- I had written a file to /dev. After deleting it, the 
problem still comes up, unfortunately.