Awk help needed

JMLawton · #1 (**permalink**) 03-18-04, 03:53

I have a file with initials and numbers in it e.g.

jl0009
mj0056

I need to increment the numbers to get

jl0010
mj0057

I have been splitting the variable into two - initials and numbers. If I print the number variable it prints the leading zeros. As soon as I add 1 to it, the leading zeros are gone and I get

jl10
mj57

How do I retain the leading zeros?

Many thanks

Apologies if this is very simple but I am very new to awk.

aigles · #2 (**permalink**) 03-18-04, 09:36

Try this script :

Code:

#!/usr/bin/awk -f
{
   number_pos = match($1,/[0-9]*$/);
   if (number_pos > 0) {
      initials = substr($1, 1, number_pos-1);
      number   = substr($1, number_pos);
   } else {
      initials = $1;
      number   = "0";
   }
   number_len  = length(number)
   printf("%s%0" number_len "d\n", initials, number+1);
}

Internet Services

Web Development

Digital Marketing

Consumer Tech