shell 函数，去掉传递进来参数开头的0

#!/bin/bash
# 去掉传递进来参数开头的0（也可能是多个0），如果不去掉bash会把这个值当做8进制来解释
strip_leading_zero ()
{
    shopt -s extglob             # 打开扩展通配（globbing）
    local val=${1##+(0)}         # 使用局部变量，匹配最长连续一个或多个0
    shopt -u extglob             # 乇绽┱雇ㄅ洌╣lobbing）
    _strip_leading_zero=${val:-0} # 如果输入为0，那么返回0来替代空
}
strip_leading_zero 0003
echo ${_strip_leading_zero}
strip_leading_zero 0000

echo ${_strip_leading_zero}

echo `basename $PWD`  去掉当前目录前的"/"

echo "${PWD##*/}"