I want to fill out a string with spaces. I know that the following works for zero’s:
>>> print "'%06d'"%4
'000004'
But what should I do when I want this?:
'hi '
of course I can measure string length and do str+" "*leftover
, but I’d like the shortest way.