Re: Default partitions allocate only 1GB to /

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.