My Tech Notes
bash: remove leading zeros
s="00012" n=$(expr $s + 0) echo $n
No comments:
Post a Comment
‹
›
Home
View web version
No comments:
Post a Comment