> irb(main):001:0>  t=Time.local(2005,'jan',4,9,05,0,0)
> => Tue Jan 04 09:05:00 PST 2005
> irb(main):002:0> t.strftime('%b %d %Y %H:%M').gsub(/ 0(\d\D)/, ' \1')
> => "Jan 4 2005 9:05"
> irb(main):003:0>
>
> Hope this helps.
>
> Vance

Okay, so it looks like I can use a regular expression for removing the
leading zero ...

> I think the %e and %l modifiers will give you the day of month and
the
> hour without 0's, but with spaces (i.e., space-padded).  Looking at
> date/format.rb I don't see a way to suppress the padding.
>
> David

.... or I can use a regular expression for removing the repeated spaces.
(Thanks for the hints about using Time.strftime, but if it's really
system dependent, I think I'll go the regex route.) Thanks, all, very
much. :)

Sincerely,

Tom Reinhart
tom / alltom.com
http://alltom.com/