basename2
来自「android-w.song.android.widget」· 代码 · 共 44 行
TXT
44 行
#From: "Grigoriy Strokin" <grg@philol.msu.ru>#Newsgroups: comp.unix.shell#Subject: fast basename and dirname functions for BASH/SH#Date: Sat, 27 Dec 1997 21:18:40 +0300##Please send your comments to grg@philol.msu.rufunction basename(){ local name="${1##*/}" echo "${name%$2}"}function dirname(){ local dir="${1%${1##*/}}" [ "${dir:=./}" != "/" ] && dir="${dir%?}" echo "$dir"}# Two additional functions:# 1) namename prints the basename without extension# 2) ext prints extension of a file, including "."function namename(){ local name=${1##*/} local name0="${name%.*}" echo "${name0:-$name}"}function ext(){ local name=${1##*/} local name0="${name%.*}" local ext=${name0:+${name#$name0}} echo "${ext:-.}"}
⌨️ 快捷键说明
复制代码Ctrl + C
搜索代码Ctrl + F
全屏模式F11
增大字号Ctrl + =
减小字号Ctrl + -
显示快捷键?