Idea / PhpStorm search inside terminal tabsMarch 22, 2019 by LPodolski·0 Commentsgrep -r "search" $(dirname $HISTFILE)/history-*