Re: [9fans] (RPi) Added new user - now what?

[Richard Miller]

> Check your plan9.ini (in the 9fat partition), it probably has a
> "user=glenda" line in there. Remove it and it'll prompt for a user name.

Correct, except on the pi it's cmdline.txt instead of plan9.ini