Bash File Name

Creator

Creator

Seonglae Cho

Created

Created

2021 Jul 13 5:46

Editor

Editor

Seonglae Cho

Edited

Edited

2025 Jun 9 15:53

Refs

Refs


extension="${filename##*.}"
name="${filename%.*}"


A="${.\.2\.3}"


for f in *; do
mkdir $f/pointcloud[00]/merged_las
mv $f/pointcloud[00]/merged_potree/$f.las $f/pointcloud[00]/merged_las
done

Extract filename and extension in Bash

The accepted answer works well in typical cases, but fails in edge cases, namely: For filenames without extension (called suffix in the remainder of this answer), extension=${filename##*.} returns the input filename rather than an empty string. extension=${filename##*.} does not include the initial ., contrary to convention.Blindly prepending .

https://stackoverflow.com/questions/965053/extract-filename-and-extension-in-bash#comment26516503_965053

Recommendations

///////////