cold-salesclerk-44266
07/05/2018, 7:33 PMcurl -I <https://get.pulumi.com> | grep etag
(plus a few additional lines) be embedded into ~/.bash_profile to check the etag value and run curl -fsSL <https://get.pulumi.com/> | sh
if the value has changed since the last time the shell was launched?