Hice un alias del comando de fecha para mostrar la fecha en el siguiente formato:
2013.06.14.12.10.02
usando este comando:
alias date = date +"%Y.%m.%d.%H.%M.%S"
Todo funciona muy bien, excepto que quiero eliminar los ceros iniciales de la salida.
No hay forma de hacerlo cambiando el formato. Creo que solo se puede hacer canalizando la salida a otros comandos como sed
y awk
.
El sistema operativo que estoy ejecutando es Ubuntu 12.04.2 LTS.
0
los10
minutos pasados la hora, pero eliminando eso cambia el significado de la marca de tiempo). Supongo que quiere decir que llevan ceros (ceros al comienzo de cada componente de fecha), en cuyo caso si usted está usando un espacio de usuario de GNU respuesta de @ j883376 probablemente será útil. De lo contrario, especifique su entorno (las herramientas de usuario no son las mismas en todos los sistemas operativos tipo Unix, y ni siquiera todas las herramientas podrían estar disponibles en todos esos sistemas operativos).Respuestas:
Según la página de
date
manual de GNU :Por lo tanto puedes hacer
y recibir
fuente
Se siente tonto, pero como esta pregunta está etiquetada
/sed
, aquí hay una manera de hacer esto con sed, como lo mencionaste :)fuente