Bash script help

[pmajka]

HI, i have a file with various numbers, but the file contains some numbers with leading zeros

01
02
03
04

how do i strip the leading zeros from the contents of the file?????

having brain fart compounded by beer.

[slodave]

If you are trying to get rid of the first character, then you could use 'cut'.

cut -b 2 file_one > file_two

Else, you have to look at 'sed'.

[widebody911]

cat file | sed -e s/^0*//g > file.new

[svandamme]

what are you using to bash with? sledgehammer or baseball bat?

[id10t]

Originally Posted by widebody911

cat file | sed -e s/^0*//g > file.new

you could use the -i arg to sed and not have to cat it or redirect to a new file

sed -i s/^0*//g filename

Or you could use expr and add the numbers to 0, which will drop all insignificant digits

for i in `cat file`
do
expr $i + 0 >> newfile
done


Although thats kinda sloppy... but depending on how the file is structured, may be required.

[pmajka]

thanks guys...