From 8403ad2258519b10f656591d8c1e5a194f3ac438 Mon Sep 17 00:00:00 2001
From: Mara Bos <m-ou.se@m-ou.se>
Date: Tue, 24 Mar 2020 14:42:00 +0100
Subject: [PATCH] Make rushlink --delete work with urls that have a file
 extension.

---
 contrib/rushlink | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/contrib/rushlink b/contrib/rushlink
index 1f67b75..c32ca58 100755
--- a/contrib/rushlink
+++ b/contrib/rushlink
@@ -31,6 +31,9 @@ del() {
             URL="$LINK$1"
             ;;
     esac
+    # Remove file extension, if any.
+    NAME="${URL##*/}"
+    URL="${URL%/*}/${NAME%%.*}"
     if DELURL=$(grep -s -m1 "$URL?deleteToken=" "$DELFILE"); then
         echo "Deleting $URL..." >&2
         curl -sS -X DELETE "$DELURL" | grep deleted