Ian Wahbe b9f57bc6b9 Move `/opt/pulumi` to `$HOME/.pulumi` (#8437) ... * Move `/opt/pulumi` to `$HOME/.pulumi` * Don't suggest adding $HOME/.pulumi to PATH		2021-11-17 10:37:38 -08:00
..
Dockerfile	Move `/opt/pulumi` to `$HOME/.pulumi` (#8437)	2021-11-17 10:37:38 -08:00