Tue 14 April 2015 by

GitHub and Travis CI

travis-ci.org is a very handy service and integrates well with GitHub. Unfortunately there aren't ways to quickly check if your projects would build successfully other than committing and pushing to GitHub.

How to fiddle with Travis CI without pushing a gazillion of commits:

  • fork a project, git clone it, optionally configure an "upstream" git remote
  • create a branch for your changes
  • do the changes, commit, push to your repo/branch and create a PR
  • now you can make incremental changes: update the same commit with "--amend" and force-push with "git push -f". GitHub will update the PR and Travis CI will run again.

Committing with "--amend" and especially forcing push are very dangerous on regular branches. If unsure, use them only for this use case and remember to delete your branch once your PR has been accepted.

Mon 24 November 2014 by

Trend is a handy tool

Plotting the CPU temperature on a 2-core host:

while true; do
  sensors | awk '/^Core/ {print $3}' | paste - - ;
  sleep 1;
done | \
trend -dsvg -A#002000 -E#00d000 -I#00e000 -R#003000 -c 2a - 60x24

Page 1 / 1