zarkanian@sh.itjust.works to Bash@lemmy.mlEnglish · 3 days agobash trickssh.itjust.worksimagemessage-square36fedilinkarrow-up1409arrow-down12
arrow-up1407arrow-down1imagebash 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 HeronlinkfedilinkEnglisharrow-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