Terminal: Change User Name

If you have a user that doesn’t appear under users and groups (e.g. jenkins) you could change them as follows

sudo dscl . -change /Users/_jenkins RecordName jenkins jenkinsNewName