[FFmpeg-devel] [PATCH] fate: allow https for git URLs
Timo Rothenpieler
timo at rothenpieler.org
Thu Apr 25 00:28:11 EEST 2024
On 24.04.2024 22:53, Alexander Strasser via ffmpeg-devel wrote:
> On 2024-04-24 22:26 +0200, Timo Rothenpieler wrote:
>> On 24.04.2024 22:12, Alexander Strasser via ffmpeg-devel wrote:
>>> On 2024-04-24 22:01 +0200, Timo Rothenpieler wrote:
>>>> ---
>>>> tests/fate.sh | 4 ++--
>>>> 1 file changed, 2 insertions(+), 2 deletions(-)
>>>>
>>>> diff --git a/tests/fate.sh b/tests/fate.sh
>>>> index c5ee18de80..4081e865ae 100755
>>>> --- a/tests/fate.sh
>>>> +++ b/tests/fate.sh
>>>> @@ -30,14 +30,14 @@ lock(){
>>>> checkout(){
>>>> case "$repo" in
>>>> file:*|/*) src="${repo#file:}" ;;
>>>> - git:*) git clone --quiet --branch "$branch" "$repo" "$src" ;;
>>>> + git:*|https:*) git clone --quiet --branch "$branch" "$repo" "$src" ;;
>>>> esac
>>>> }
>>>>
>>>> update()(
>>>> cd ${src} || return
>>>> case "$repo" in
>>>> - git:*) git fetch --quiet --force && git reset --quiet --hard "origin/$branch" ;;
>>>> + git:*|https:*) git fetch --quiet --force && git reset --quiet --hard "origin/$branch" ;;
>>>> esac
>>>> )
>>>
>>
>> If you manually clone the repo, you can use whatever you like anyway, since
>
> Sorry my initial wording was probably ambiguous.
>
> I meant in the repo variable in a fate_config.sh
>
>
>> it never actually uses the URL for anything after the initial clone.
>
> The URL isn't used per se, but it's used to decide whether to
> git fetch or not inside the call to update, isn't it?
>
Yeah, that's pretty much the only thing it's used for.
I also considered to turn the check around, and always assume it's a
valid git URL unless the file: thingy is recognized.
That way ssh URLs and cloning from local paths would become possible.
But that runs a higher risk of breaking someones setup.
More information about the ffmpeg-devel
mailing list