Merge pull request #7627 from edolstra/fetchTarball-channel

Restore support for channel: URLs in fetchTarball
This commit is contained in:
Eelco Dolstra 2023-01-18 14:26:35 +01:00 committed by GitHub
commit ee1372d246
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -220,6 +220,9 @@ static void fetch(EvalState & state, const PosIdx pos, Value * * args, Value & v
} else } else
url = state.forceStringNoCtx(*args[0], pos); url = state.forceStringNoCtx(*args[0], pos);
if (who == "fetchTarball")
url = evalSettings.resolvePseudoUrl(*url);
state.checkURI(*url); state.checkURI(*url);
if (name == "") if (name == "")