Yep! It's <https://github.com/pulumi/docs>. It of ...
# contributeb
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
big-piano-35669
08/15/2018, 7:58 PM
@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 PMAh 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 foundb
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
big-piano-35669
08/15/2018, 8:04 PM
s
stocky-spoon-28903
08/15/2018, 8:07 PMHuh… that doesn’t seem to work in Safari on OS X
stocky-spoon-28903
08/15/2018, 8:08 PMstocky-spoon-28903
08/15/2018, 8:08 PM(What you pasted is what I was aiming to get to)
b
big-piano-35669
08/15/2018, 8:08 PM
Ah, hmm.
big-piano-35669
08/15/2018, 8:09 PM
<span style="user-select: none">$ </span>curl -fsSL <https://get.pulumi.com/> | shbig-piano-35669
08/15/2018, 8:09 PM
That's the code that attempts to do this.
big-piano-35669
08/15/2018, 8:10 PM
StackOverflow suggests maybe we also need a
-webkit-user-select: none;s
stocky-spoon-28903
08/15/2018, 8:14 PMAh, possibly.
stocky-spoon-28903
08/15/2018, 8:15 PMThat does fix it if I add it manually in the element inspector.
stocky-spoon-28903
08/15/2018, 8:24 PM