Error when running `zig build` and `zig fetch`

Help
21

there is an issue.

22

Guys, The problem did not go away.

23

Sorry for the delay.

24

@cyrilguiz did you try what @dimdin has suggested?

With a quick search I found this, which also seems to be about struggles with https and proxies on nixos: Nix-build curl issues behind proxy - Help - NixOS Discourse

It might make sense to ask on that discourse, because I am not sure this issue is actually on the Zig side and might have more to do with how nix is configured. There have been a few posts about nix here, but not a whole lot.

You also could try asking if anyone on the zig discord had a similar problem, I suspect that some of the Zig users who use nix are more active on the discord.

Lastly I think you need to provide more input on things you have already tried, what you have done / used, some way for people to try to replicate it, or at least enough info so that somebody who knows could point out what you should run/check/etc. next.

25

I tried to pass the httpsProxy as ‘http://127.0.0.1:3128/’

26

I will not be always active because I have school. I have set all 3 httpProxys values the same, is that what is causing the problem?

27

I am not sure.

Does the proxy work for other things?

I don’t know how nixos works, how does it handle environment variables, do these nix variables actually result in set environment variables?

check whether any of these environment variables:
http_proxy, HTTP_PROXY, https_proxy, HTTPS_PROXY, all_proxy, ALL_PROXY

appear in the output if you run the env command (don’t post its full output, it may contain stuff that you should keep private)

One of those env variables may be empty or contain an invalid uri/url (from what @dimdin has written).

https://linuxize.com/post/how-to-set-and-list-environment-variables-in-linux/

What is your knowledge level, are you familiar with linux / the command line and figuring out stuff, or do you need help with some of that?

I am not familiar with the nixos specific things, that might be going on here.

28

I am really new to this stuff in general and I only did get into programming and the digital space in general like 2 years ago. I switch to linux because my old pc was running windows 7 and I updated it to ubuntu 20. something to learn about programming.