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

best-xylophone-83824

08/27/2019, 9:53 AM
app.pulumi.com and documentation pages have same favicon, it is minor inconvenience but it would be nice if they differ
c

colossal-beach-47527

08/27/2019, 3:16 PM
Any particular reason why you’d want a different favicon for app.pulumi.com and www.pulumi.com? Should be an easy change to make, I’ll see if I can can roll that out this week.
b

best-xylophone-83824

08/27/2019, 3:18 PM
well,I have our stack consoles and then I have docs opened all the time and it just easier to find stack console if favicon is different
basically I have so many tabs that favicon is all I have 🙂
I should really invest time into learning something like VSCode, then there would be no need for so many tabs with API docs
c

colossal-beach-47527

08/27/2019, 3:20 PM
… of all the problems our users might have, too many open tabs is probably one of the better ones for them to have 😄 But yeah, I can see how this would make things difficult. This should be fixed later this week.
+1 to the idea of using VSCode. For navigating documentation, drilling into source, etc. it all “just works”. I’d definitely recommend it.
b

best-xylophone-83824

08/28/2019, 10:03 AM
giving up on VSCode, it doesn't work behind proxy with custom CA certs 😞