I'm really proud of how my "Cool Tools for PHP Development" talk has been shaping up. I've presented it 4 times this month, and the last time presenting to @phpugmrn was the best so far. Sadly, no recording of that one, and much of it is live coding.
I found a way to set my ZSH_THEME differently in PHPStorm than in the terminal (because I run the IDE in light mode, like a monster, but the terminal in dark mode as intended)
if [[ -z "$ZSH_THEME" ]]; then
Then in PHPStorm, I can specify a ZSH_THEME environment key to set the theme I want.
@ellotheth WHEW! Worried me for a second. :)
FYI; That was contributed by JetBrains (original contribution and all translations).
Ah, never mind, turning the webserver off and on worked...
Open source. Open community. We are dedicated to building and enriching the PHP community.