client – Mario

git branch delete useless

Over the time the local git branches may pile up and are no longer used after merging. A cleanup can help with that.

git branch | grep -v "master" | grep -v "development" |grep -v ^* | xargs git branch -D;

Have fun!

This is more for me than others. Sometimes I forget things like this.

ssh -D 8888 mario@example.com
Browser: Socks Proxy localhost 888

ssh -L 9090:localhost:9090 user@proxyhost -i SSHKEY ssh -L 9090:localhost:9090 -N user@TARGETSYSTEM