Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

juliaup update fails due to missing ETag header #1021

Open
LilithHafner opened this issue Aug 26, 2024 · 2 comments
Open

juliaup update fails due to missing ETag header #1021

LilithHafner opened this issue Aug 26, 2024 · 2 comments
Labels
bug Something isn't working

Comments

@LilithHafner
Copy link
Member

x@x:~$ juliaup update
Error: Failed to update versions db.

Caused by:
    ETag header not found in response
x@x:~$ juliaup --version
Juliaup 1.17.4

My internet seems fine (I'm posting this issue from the same internet as I received the error message from).

If this is a network issue, it should be more clear in the error message. Otherwise it is likely a bug.

@LilithHafner LilithHafner added the bug Something isn't working label Aug 26, 2024
@JuliaLang JuliaLang deleted a comment Aug 26, 2024
@JuliaLang JuliaLang deleted a comment Aug 26, 2024
@Zentrik
Copy link
Member

Zentrik commented Oct 26, 2024

I fixed this for me by removing some Julia channels I had installed, namely 1.7, pr54848, pr55412, pr56130 (I'm assuming something is going wrong with the pr handling, presumably the files get deleted from S3 or whatever after a while)

@Zentrik
Copy link
Member

Zentrik commented Oct 26, 2024

I presume we need to handle PRs separately here as after some time they will no longer be available,

juliaup/src/operations.rs

Lines 1587 to 1601 in 72d844e

for (channel_name, channel) in &config_data.installed_channels {
if let JuliaupConfigChannel::DirectDownloadChannel { url, .. } = channel {
let etag = client
.head(url)
.send()?
.headers()
.get("etag")
.ok_or_else(|| anyhow!("ETag header not found in response"))?
.to_str()
.map_err(|e| anyhow!("Failed to parse ETag header: {}", e))?
.to_string();
requests.push((channel_name.clone(), etag));
}
}

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Something isn't working
Projects
None yet
Development

No branches or pull requests

3 participants
@Zentrik @LilithHafner and others