Cómo convertir marcas de tiempo a fechas en Bash?
Necesito un comando o script de shell que convierta una marca de tiempo Unix en una fecha. La entrada puede venir desde el primer parámetro o desde stdin, permitiendo los siguientes patrones de uso:
ts2date 1267619929
Y
echo 1267619929 | ts2date
Ambos comandos deben salir "Mié Mar 3 13:38:49 2010".
Warning: Undefined property: agent_blog_content::$date_asked in /var/www/agent_etc/data/www/ajaxhispano.com/template/agent.layouts/content.php on line 32
Warning: Undefined property: agent_blog_content::$count_answers in /var/www/agent_etc/data/www/ajaxhispano.com/template/agent.layouts/content.php on line 52