• #dev 2020-02-28
  • Prev
    Next
  • #indieweb
  • #dev
  • #wordpress
  • #meta
  • #stream
  • #microformats
  • #known
  • #events
#dev ≡
  • ←
  • →
2020-02-28 UTC
# 13:57
[jeremycherfas]
The strange part is that $PATH from Terminal shows 7.2 but PHP -v from Shortcut shows 5.6 unless I first run bash_profile