Users & groups

Users

Listing users

To see all users managed by Infra, use infra users list:

infra users list

You'll see the resulting list of users:

NAME                         LAST SEEN
fisher@infrahq.com           just now
jeff@infrahq.com             5 mintues ago
matt.williams@infrahq.com    3 days ago
michael@infrahq.com          3 days ago

Adding a user

To add a user to Infra, use infra users add:

infra users add example@acme.com

They will receive an email to set their password and login to the system.

Removing a user

infra users remove example@acme.com

Resetting a user's password

infra users edit example@acme.com --password

Groups

Listing groups

To see all groups managed by Infra including both Infra managed groups and Identity Provider Provided groups, use infra groups list:

infra groups list

You'll see the resulting list of groups with each of its users:

NAME        LAST SEEN
developers  alice@infrahq.com, bob@infrahq.com
design      carol@infrahq.com, david@infrahq.com
everyone    alice@infrahq.com, bob@infrahq.com, carol@infrahq.com
            david@infrahq.com

Creating a new group

To add a new group, use infra groups add:

infra groups add developers

Removing a group

To remove a group, use infra groups remove:

infra groups remove developers

Adding a user to a group

To add a user to a group, use infra groups adduser:

infra groups adduser example@acme.com

Removing a user from a group

To remove a user from a group, use infra groups removeuser:

infra groups removeuser example@acme.com developers