Script to remove first character if it is zero

Shell Programming and Scripting
1

Hi All,
I have a input like this.
01
i want the output like this.
1
But if the input file is like
11 i should not do anything.
Can anyone please help to get a command to do this.

thanks,
Giri.

---------- Post updated at 02:11 AM ---------- Previous update was at 02:04 AM ----------

Friends i got the required command.

Thanks,
Girish.

2

try:

sed 's/^0*\(.*\)/\1/' filename
3 
sed 's/^0//' infile
4

sorry. I overlooked the issue. This one will remove all starting 0's. :o

5 
input="01"
case "$input" in
  0*) echo ${input/#0/};;
esac
6

All leading zeroes :

sed 's/^0*//' infile

---------- Post updated at 10:10 ---------- Previous update was at 09:54 ----------

input="01"
echo ${input#0}