kill all pids of programm

for i in $(ps -ef | grep tinyproxy | cut -d' ' -f5); do $(kill $i); done

 will kill all pids of tinyproxy

kill some processes

for i in $(seq 4082 4090); do $(kill $i); done

kills from pid 4082 to 4090

git server

http://progit.org/book/de/ch4-8.html
http://thelucid.com/2008/12/02/git-setting-up-a-remote-repository-and-doing-an-initial-push/