• #dev 2020-02-28
  • Prev
    Next
  • #indieweb
  • #dev
  • #wordpress
  • #meta
  • #stream
  • #microformats
  • #known
  • #events
#dev ≡
  • ←
  • →
2020-02-28 UTC
# 13:36
[jeremycherfas]
Problem (kinda, sorta, maybe) solved. If I run `. ~/.bash_profile` before the command I want to run, it updates the PHP version and everything works. But I have to do it each time. I can’t seem to get it to stick.