Working with log files in linux/unix, you’ll inevitably come across the weirdness of a unix timestamp. It’s not intuitive working with the number of seconds since Jan 1 1970, so I rolled a little conversion utility in bash, called “utime2ymd”. UPDATE #2: This is unbelievably easy using GNU date, apparently. See the comments… UPDATE: Slim, […]
Assume and . Then obviously: now, multiply both sides by x: now, subtract y2 from both sides: now, factorize: now, cancel (x-y) term: Therefore, QED.