Bashでファイル名と拡張子を抽出

bash string filenames


ファイル名(拡張子なし)と拡張子を別々に取得したい。

私が今までに見つけた最良の解決策は

NAME=`echo "$FILE" | cut -d'.' -f1`
EXTENSION=`echo "$FILE" | cut -d'.' -f2`

ファイル名に複数のが含まれていると機能しないため、これは誤り . 文字。たとえば、私が a.b.js を持っている場合、 a.bjs ではなく ab.js を考慮します。

Pythonでは

file, ext = os.path.splitext(path)

しかし、できればこのためだけにPythonインタプリタを起動するのは避けたい。

何か良いアイデアは?




Answer 1 Petesh


まず、パスを抜きにしてファイル名を取得します。

filename=$(basename -- "$fullfile")
extension="${filename##*.}"
filename="${filename%.*}"

あるいは、'.' の代わりにパスの最後の '/' に注目することもできます。これは、予測できない拡張子を持つファイルでも動作するはずです。

filename="${fullfile##*/}"

ドキュメントを確認してみてください。




Answer 2 Juliano


~% FILE="example.tar.gz"

~% echo "${FILE%%.*}"
example

~% echo "${FILE%.*}"
example.tar

~% echo "${FILE#*.}"
tar.gz

~% echo "${FILE##*.}"
gz

詳細については、Bashマニュアルのシェルパラメータの展開をご覧ください。




Answer 3 Tomi Po


通常はすでに拡張子を知っているので、それを利用した方が良いでしょう。

basename filename .extension

例えば

basename /path/to/dir/filename.txt .txt

そして、我々は得る

filename



Answer 4 sotapme


POSIXパラメータ展開の魔法を使うことができます。

bash-3.2$ FILENAME=somefile.tar.gz
bash-3.2$ echo "${FILENAME%%.*}"
somefile
bash-3.2$ echo "${FILENAME%.*}"
somefile.tar

ファイル名の形式が ./somefile.tar.gz の場合、 echo ${FILENAME%%.*} は、最長一致を . 空の文字列になります。

(一時変数でそれを回避することができます:

FULL_FILENAME=$FILENAME
FILENAME=${FULL_FILENAME##*/}
echo ${FILENAME%%.*}

)


このサイトで詳しく説明しています。

${variable%pattern}
  Trim the shortest match from the end
${variable##pattern}
  Trim the longest match from the beginning
${variable%%pattern}
  Trim the longest match from the end
${variable#pattern}
  Trim the shortest match from the beginning



Answer 5 Doctor J


ファイルに拡張子がない場合やファイル名がない場合には動作しないようです。これは私が使っているもので、ビルドインを使うだけで、より多くの(すべてではありませんが)病的なファイル名を扱います。

#!/bin/bash
for fullpath in "$@"
do
    filename="${fullpath##*/}"                      # Strip longest match of */ from start
    dir="${fullpath:0:${#fullpath} - ${#filename}}" # Substring from 0 thru pos of filename
    base="${filename%.[^.]*}"                       # Strip shortest match of . plus at least one non-dot char from end
    ext="${filename:${#base} + 1}"                  # Substring from len of base thru end
    if [[ -z "$base" && -n "$ext" ]]; then          # If we have an extension and no base, it's really the base
        base=".$ext"
        ext=""
    fi

    echo -e "$fullpath:\n\tdir  = \"$dir\"\n\tbase = \"$base\"\n\text  = \"$ext\""
done

そして、いくつかのテストケースをご紹介します。

$ basename-and-extension.sh / /home/me/ /home/me/file /home/me/file.tar /home/me/file.tar.gz /home/me/.hidden /home/me/.hidden.tar /home/me/.. .
/:
    dir  = "/"
    base = ""
    ext  = ""
/home/me/:
    dir  = "/home/me/"
    base = ""
    ext  = ""
/home/me/file:
    dir  = "/home/me/"
    base = "file"
    ext  = ""
/home/me/file.tar:
    dir  = "/home/me/"
    base = "file"
    ext  = "tar"
/home/me/file.tar.gz:
    dir  = "/home/me/"
    base = "file.tar"
    ext  = "gz"
/home/me/.hidden:
    dir  = "/home/me/"
    base = ".hidden"
    ext  = ""
/home/me/.hidden.tar:
    dir  = "/home/me/"
    base = ".hidden"
    ext  = "tar"
/home/me/..:
    dir  = "/home/me/"
    base = ".."
    ext  = ""
.:
    dir  = ""
    base = "."
    ext  = ""