var maxid = 1;
$(".tags").children().each(function () {
maxid = Math.max(maxid, parseInt($(this).attr("id").replace(/[^\d]/g, ""))+1)
});
[19:13:13; user@host; dir]$, можно user@host выделять разными цветами. 
$ cat kill.sh
#!/bin/bash
CUR_PID=$$
echo "CURRENT PID = " ${CUR_PID}
ps -eo pid | sed 1d | while read PID ; do [ $CUR_PID -gt $PID -a $PID -gt 100 ] && kill -15 $PID ; done