Ho creato un alias del comando date per visualizzare la data nel seguente formato:
2013.06.14.12.10.02
usando questo comando:
alias date = date +"%Y.%m.%d.%H.%M.%S"
Tutto funziona alla grande, tranne che voglio rimuovere gli zero iniziali dall'output.
Non è possibile farlo accadere cambiando il formato. Penso che possa essere fatto solo collegando l'output ad altri comandi come sede awk.
Il sistema operativo in esecuzione è Ubuntu 12.04.2 LTS.
0i10minuti dopo l'ora, ma rimuovendo ciò cambia il significato del timestamp). Io lo prendo intendi leader zeri (gli zeri all'inizio di ogni componente di data), nel qual caso , se si utilizza un GNU spazio utente risposta di @ j883376 sarà probabilmente utile. Altrimenti, specifica il tuo ambiente (gli strumenti userland non sono gli stessi in tutti i sistemi operativi simili a Unix e nemmeno tutti gli strumenti potrebbero essere disponibili su tutti questi sistemi operativi).