Re: Problem printing 24 hour times OR a stupid mistake

[Chris Elvidge]

On 09/01/2022 15:22, Greg Wooledge wrote:
> On Sun, Jan 09, 2022 at 08:13:25AM -0600, Dennis Williamson wrote:
> > You should be able to omit the printf and just do
> >
> > date -d"$tim12" +"%H%M"
>
>   9. All examples given by the questioner will be broken, misleading,
>      wrong, incomplete, and/or not representative of the actual question.

> Or did they think that date +%H might sometimes give a single-digit number,
> and then they needed to zero-pad that to two digits?  That's a false
> assumption.  date +%H is guaranteed to give two digits of output, never
> one digit.  No additional padding is required.

That was exactly the misconception on my part. I should read more manuals.

--
Chris Elvidge
England