Re: [gentoo-user] Dolphin and adding a option, if it exists.

[Dale]

Frank Steinmetzger wrote:
> Am Sun, Oct 23, 2022 at 01:35:55AM -0500 schrieb Dale:
>
>> Well, I ran into a slight problem.  This isn't much of a problem with
>> Linux but I'm not sure how this would work on windoze tho.  The problem,
>> if it is one, is the file extension.  Let's say I have a mp4 file that
>> is the older original file that I intend to replace.  If the file I
>> intend to put in its place is a .mkv file, mv uses the .mp4 extension
>> because all it cares about is the name of the file, not what it is or
>> its content.  So, I end up with a .mkv file that has a .mp4 extension. 
>> It works here on Linux but not sure about windoze and such.
> It’s not a problem for as long as the application you open the file with
> does its own detection. I.e. you feed mp4 to mpv, but it recognises by
> itself that it’s mp4 and can handle it.
>
>> I looked at the man page and I don't see a way to tell it to retain the
>> extension.  I see something about suffix but I don't think that is
>> related to this.  If I just backspace and change the extension, it
>> basically moves the file and I end up with both the old and new file.  I
>> wish I could write code and create a tool for this.  :/ 
>>
>> Is there a way to work around this problem?  It works great except for
>> losing the file extension. 
> If you still want to stick to a terminal solution akin to mv, then there is
> no way around a little script which wraps mv by extracting the extension and
> filename base. You could also add some “intelligence” with regards to
> directories, in order to reduce the amount of effort required to use the
> command—in case your directories follow some schema or are constant.
>
>
> #!/usr/bin/sh
>
> [ "$#" -ne "2" ] && exit 1
> SRC="$1"
> DST="$2"
>
> SRC_EXT="${SRC##*.}"
> DST_BASE="${DST%.*}"
>
> # remove destination for the case that the extensions differ
> rm "$DST"
>
> mv "$SRC" "${DST_BASE}${SRC_EXT}"
>

I finally got a chance to try this.  I saved it and made it executable. 
It runs but gave me this error. 


dmv torrent/video_name-old-place.mp4 video-name-new-place.mp4
bash: /bin/dmv: /usr/bin/sh: bad interpreter: No such file or directory
dale@fireball ~/Desktop/Crypt/Series $


My scripting skills are minimal at best.  Still, I kinda got what your
script was doing.  Those who have known me for a while understand how
miraculous that is.  ROFL  I did some googling.  It seems to not be able
to find the 'shebang' part.  Sure enough, sh isn't located in /usr/bin
here.  It's in /bin tho.  I edited that line so it can find it.  When I
tried it, it worked but noticed another problem.  It was leaving out the
dot, ".", before the extension.  Back into the script I went.  I revved
up my gears for a bit and made a edit.  When I tried it again, I was
shocked.  I almost fell in the floor.  Dang thing worked perfectly with
me only having to edit once.  I really did get how the script works,
sort of.  O_O 

This is the script as shown by cat:


root@fireball / # cat /bin/dmv
#!/bin/sh

[ "$#" -ne "2" ] && exit 1
SRC="$1"
DST="$2"

SRC_EXT="${SRC##*.}"
DST_BASE="${DST%.*}"

# remove destination for the case that the extensions differ
rm "$DST"

mv "$SRC" "${DST_BASE}.${SRC_EXT}"
root@fireball / #


I added a little . on that last line before the extension bit.  I'm a
happy camper.  Only thing is, turns out both source and destination file
have the same extension in this case.  Still, I bet it will work.  Then
I thought of a way to test this.  I just changed the extension on the
destination file and did a move.  I changed the .mp4 to .mkv on the
destination.  When I used your move script, it used the .mp4 extension
from the original source file but used the old name.  Perfect!!

Hope this makes the point.  THANK YOU MUCH!!!!

Dale

:-)  :-)