https://pulumi.com logo
#contribute
Title
# contribute
b

big-piano-35669

08/15/2018, 7:57 PM
Yep! It's https://github.com/pulumi/docs. It of course uses Pulumi to deploy itself simple smile
@colossal-beach-47527 We had previously discussed renaming this repo to pulumi/pulumi.io. Probably worth doing that?
s

stocky-spoon-28903

08/15/2018, 7:59 PM
Ah cool, I want to add a thing to make just the command for installing select (without the $) when you click the script link. Number of times doing that has got me a
$: command not found
is unreal.
b

big-piano-35669

08/15/2018, 8:04 PM
Ahhh, sorry about that. We're clever in our HTML/CSS on the homepage to avoid this, but should definitely either apply the same trick elsewhere or just remove the $s
s

stocky-spoon-28903

08/15/2018, 8:07 PM
Huh… that doesn’t seem to work in Safari on OS X
(What you pasted is what I was aiming to get to)
b

big-piano-35669

08/15/2018, 8:08 PM
Ah, hmm.
<span style="user-select: none">$ </span>curl -fsSL <https://get.pulumi.com/> | sh
That's the code that attempts to do this.
StackOverflow suggests maybe we also need a
-webkit-user-select: none;
s

stocky-spoon-28903

08/15/2018, 8:14 PM
Ah, possibly.
That does fix it if I add it manually in the element inspector.