Revisions to Convert String to time format and append with current date - Shell/ksh

added 194 characters in body

Source Link

edited May 17, 2018 at 6:14

If by ksh, you mean ksh93:

$ t=093500
$ DATEMSK=/dev/stdin <<<%H%M%S printf "%(%F %T)T\n" "$t"
2018-05-17 09:35:00

Or:

$ printf '%(%F)T %.8s\n' now "${t//??/\0:}"
2018-05-17 09:35:00

Or portably (shells of Bourne or csh families or fish)

$ date +"%Y-%m-%d $t" | sed 's/\(..\)\(..\)$/:\1:\2/'
2018-05-17 09:35:00

(for rc-like shells, use date +'%Y-%m-%d '$t instead)

If by ksh, you mean ksh93:

$ t=093500
$ DATEMSK=/dev/stdin <<<%H%M%S printf "%(%F %T)T\n" "$t"
2018-05-17 09:35:00

Or:

$ printf '%(%F)T %.8s\n' now "${t//??/\0:}"
2018-05-17 09:35:00

If by ksh, you mean ksh93:

$ t=093500
$ DATEMSK=/dev/stdin <<<%H%M%S printf "%(%F %T)T\n" "$t"
2018-05-17 09:35:00

Or:

$ printf '%(%F)T %.8s\n' now "${t//??/\0:}"
2018-05-17 09:35:00

Or portably (shells of Bourne or csh families or fish)

$ date +"%Y-%m-%d $t" | sed 's/\(..\)\(..\)$/:\1:\2/'
2018-05-17 09:35:00

(for rc-like shells, use date +'%Y-%m-%d '$t instead)

added 97 characters in body

Source Link

edited May 16, 2018 at 21:17

If by ksh, you mean ksh93:

$ t=093500
$ DATEMSK=/dev/stdin <<<%H%M%S printf "%(%F %T)T\n" 093500"$t"
2018-05-17 09:35:00

Or:

$ printf '%(%F)T %.8s\n' now "${t//??/\0:}"
2018-05-17 09:35:00

If by ksh, you mean ksh93:

$ DATEMSK=/dev/stdin <<<%H%M%S printf "%(%F %T)T\n" 093500
2018-05-17 09:35:00

If by ksh, you mean ksh93:

$ t=093500
$ DATEMSK=/dev/stdin <<<%H%M%S printf "%(%F %T)T\n" "$t"
2018-05-17 09:35:00

Or:

$ printf '%(%F)T %.8s\n' now "${t//??/\0:}"
2018-05-17 09:35:00

Source Link

answered May 16, 2018 at 21:07

If by ksh, you mean ksh93:

$ DATEMSK=/dev/stdin <<<%H%M%S printf "%(%F %T)T\n" 093500
2018-05-17 09:35:00

Return to Answer