Updating date

Use this command to get and set the date of your debian/ubuntu systems :)

sudo date -s "$(wget -S  "http://www.google.com/" 2>&1 | grep -E '^[[:space:]]*[dD]ate:' | sed 's/^[[:space:]]*[dD]ate:[[:space:]]*//' | head -1l | awk '{print $1, $3, $2,  $5 ,"GMT", $4 }' | sed 's/,//')"
Read More

Reading Material

It is time for us to learn.

This is a growing list of interessant papers/books/web pages. Please let me know if there are errors/broken links :)

Read More