Pastebin
API
tools
faq
paste
Login
Sign up
SHARE
TWEET
Work with filenames extensions
flycat
Oct 6th, 2011
(
edited
)
428
0
Never
Add comment
Not a member of Pastebin yet?
Sign Up
, it unlocks many cool features!
Bash
0.18 KB
| None
|
0
0
raw
download
clone
embed
print
report
basename
file
=
"thisfile.txt"
echo
"filename:
${file%.*}
"
echo
"filename:
${file%%.*}
"
# If many '.'
echo
"extension:
${file##*.}
"
outputs:
filename: thisfile
extension: txt
Add Comment
Please,
Sign In
to add comment
Public Pastes
✅ API Glitch (Docs Leak)
CSS | 39 min ago | 0.24 KB
This summer smells like money
CSS | 39 min ago | 0.24 KB
I made $15,000 in 2 hours
CSS | 39 min ago | 0.24 KB
How to rename README.md and LICENSE on build
XML | 23 hours ago | 0.52 KB
Untitled
2 days ago | 2.10 KB
anydesk forensics
2 days ago | 0.80 KB
OoTMM rando seed 7/28
2 days ago | 93.67 KB
Untitled
2 days ago | 5.87 KB
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the
Cookies Policy
.
OK, I Understand
Not a member of Pastebin yet?
Sign Up
, it unlocks many cool features!