git-wad

commit bc57e63a273edb3ff829a535e1aeb36cb9e633f6
parent e41adfeaab6dffd8c87b91d6a3d939c1fd80cf99
Author: Vincent Forest <vincent.forest@meso-star.com>
Date:   Wed,  1 May 2024 15:08:27 +0200

Fix push command with remote URL in file:// format

rsync is used to upload WAD files and, consequently, a URL in the form
file:// is not supported. The URL has therefore been updated to remove
the file:// scheme and define a normal path, compatible with the rsync
command. But the updated URL was not used by mistake. Hence this commit.

Diffstat:
M
git-wad
 | 
2
+-

1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/git-wad b/git-wad
@@ -332,7 +332,7 @@ push() # [-1a]
 
   remote="${GIT_WAD_REMOTE_FETCH#file://}"
   objects_to_push "$@"  | rsync -av --progress --ignore-existing \
-  --files-from=- "${GIT_WAD_OBJDIR}" "${GIT_WAD_REMOTE_PUSH}"
+  --files-from=- "${GIT_WAD_OBJDIR}" "${remote}"
 }
 
 # Download WAD objects from remote server