zarkanian@sh.itjust.works to Bash@lemmy.mlEnglish · 3 days agobash trickssh.itjust.worksexternal-linkmessage-square36fedilinkarrow-up1407arrow-down12
arrow-up1405arrow-down1external-linkbash trickssh.itjust.workszarkanian@sh.itjust.works to Bash@lemmy.mlEnglish · 3 days agomessage-square36fedilink
minus-squarewaigl@lemmy.worldlinkfedilinkEnglisharrow-up16·edit-23 days agoBottom left example will leave you with a lot pictures ending on “.png.jpg”.
minus-squareGreat Blue Heron@lemmy.calinkfedilinkEnglisharrow-up9·edit-23 days agoconvert $i ${i%.*}.jpg NB: I’m no guru - I just googled “remove file extension in bash”.
minus-squareqqq@lemmy.worldlinkfedilinkEnglisharrow-up4·3 days agoShould also definitely be quoting both arguments
Bottom left example will leave you with a lot pictures ending on “.png.jpg”.
What’s a better way?
convert $i ${i%.*}.jpg
NB: I’m no guru - I just googled “remove file extension in bash”.
Should also definitely be quoting both arguments