Git: merge and rebase for kids :)

Git add changes to last commit

It will be rebasing last commit with a new one.

git add .
git commit --amend --no-edit
git push -f

uptime periodic print

while(true); do uptime | sed -E 's/\s*up\s*([0-9]* day[s]*,\s*[0-9]*:[0-9]*|[0-9]*:[0-9]*),\s*[0-9]* user[s]*,\s*load average:\s/, /'; sleep 3; done




while(true); do uptime | cut -d':' -f4; sleep 3; done

Grep Console for Eclipse console highlights

http://marian.schedenig.name/projects/grep-console/installation/