$ cat ~/.bash_history | php -r '$history = file( "php://stdin"); function history_filter( &$item1, $key) { $item1 = preg_replace( "/[\n \t].*$/", "", $item1);}array_walk( $history, "history_filter"); unset( $history[ ""]);$history = array_count_values( $history); arsort( $history); function show_history( &$item1, $key) { printf( "%5d/%30s %s\n", $item1, substr( $key, -30), str_repeat( "*", min( $i