Switch strip-extension to change-extension

This allows replacing the extension, e.g.

    > path change-extension mp4 foo.wmv
    foo.mp4
This commit is contained in:
Fabian Homborg
2021-10-23 17:57:30 +02:00
parent 00ed0bfb5d
commit ce7281905d
3 changed files with 43 additions and 33 deletions

View File

@@ -47,14 +47,14 @@ echo $status
# CHECK:
# CHECK: 0
path strip-extension ./foo.mp4
path change-extension '' ./foo.mp4
# CHECK: ./foo
path strip-extension ../banana
path change-extension '' ../banana
# CHECK: ../banana
# but status 1, because there was no extension.
echo $status
# CHECK: 1
path strip-extension ~/.config
path change-extension '' ~/.config
# CHECK: {{.*}}/.config
echo $status
# CHECK: 1