Puneeth Chaganti 19990b06e9 vagrant: Use id -g for finding a user's group. ...

On OSX, the user id and group id don't match.  So while the previous
code was always wrong, it produced incorrect output there.  We can fix
this by replacing `whoami` with `id -g` for finding the current user's
group ID.

2018-11-01 10:08:08 -07:00

..

index.rst

docs: Use orphan to directly exclude pages from toctree.

2018-01-24 14:37:17 -08:00

overview.md

docs: Update development environment docs for Ubuntu bionic.

2018-05-30 10:00:41 -07:00

remote.md

doc: Expand documentation for SSH port forwarding.

2018-10-22 14:53:52 -07:00

request-remote.md

documentation: Migrate all CZO stream links to new stream URL style

2018-05-24 15:15:34 -07:00

setup-advanced.md

doc: Expand documentation for SSH port forwarding.

2018-10-22 14:53:52 -07:00

setup-vagrant.md

vagrant: Use id -g for finding a user's group.

2018-11-01 10:08:08 -07:00

using.md

docs: Reorganize developer docs to improve navigation.

2017-11-16 09:45:08 -08:00