#!/usr/bin/php <?php const N="\n"; if (!isset($argv[1]) || preg_match('/^\d+$/',$argv[1])!==1) { echo('utstodate.php <unix timestamp>'.N); exit(1); } echo(date('Y-m-d H:i:s',$argv[1]).N); exit(0); ?>