Archive

Archive for the ‘bash’ Category

Bash command pipe

June 13, 2020 Leave a comment

dmesg | grep maps | grep -oE “\[[0-9]+\]” | grep -oE “[0-9]+” | while read x ; do cat /proc/$x/cmdline ; echo; cat /proc/$x/maps | grep tmp; done

Categories: bash