| Veera[m] | lkcl: Bug 654, is only support for arty A7-100T fpga needed | 04:06 |
|---|---|---|
| *** kylel1 is now known as kylel | 09:46 | |
| lkcl | Veera[m], yes | 10:04 |
| lkcl | although it is a simple matter to include the other two, 35t and 200t | 10:04 |
| lkcl | by just including their respective databases | 10:04 |
| Veera[m] | ack'ed | 10:53 |
| octavius | Hi all, I've been looking at the HDL workflow ikiwiki page and currently setting up the dependencies on Debian 10.10 (Buster), as this was the distro I saw mentioned in the dev-env-setup.git repo. The wiki page section 6 mentions python-nosetest3, however apt cannot find this package. After checking "install-hdl-apt-reqs" script I noticed python3-nose is installed instead (I guess the names changed at | 12:01 |
| octavius | some point). Is it worthwhile to install the packages listed in the HDL workflow, or should I use the "install-hdl-apt-reqs" script instead? | 12:01 |
| octavius | Oh, apologies, didn't read thoroughly enough. I'll use the scripts as suggested. Although probably worth changing python-nosetest3 to python3-nose on the wiki page. | 12:07 |
| Veera[m] | Correctly this must be correct; install-hdl-apt-reqs | 12:08 |
| octavius | Thank you | 12:08 |
| Veera[m] | s/Correctly this must be correct; install-hdl-apt-reqs/install-hdl-apt-reqs script must be correct/ | 12:08 |
| Veera[m] | first test if after change it is working then update ikiwiki | 12:09 |
| octavius | Trying to do "git clone https://git.libre-soc.org/?p=dev-env-setup.git", is this not the correct url for the repo? | 12:10 |
| Veera[m] | thats not correct see libre-soc.org start page for example | 12:14 |
| octavius | Thanks, just noticed that. Unfortunately I get an access error: | 12:19 |
| octavius | fatal: unable to access 'https://git.libre-soc.org/git/dev-env-setup.git/': Failed sending HTTP request | 12:19 |
| Veera[m] | git clone https://git.libre-soc.org/git/dev-env-setup.git | 12:20 |
| Veera[m] | use https | 12:20 |
| Veera[m] | slow unreliable ineternet | 12:21 |
| Veera[m] | s/ineternet/internet/ | 12:21 |
| octavius | That's the link I used, with https | 12:21 |
| octavius | I did manually download the git clone https://git.libre-soc.org/git/dev-env-setup.git | 12:21 |
| Veera[m] | which type internet connection are you using? | 12:21 |
| octavius | ignore the previous message, mis-copied | 12:22 |
| Veera[m] | can you browse https pages? | 12:22 |
| octavius | My internet is broadband, about 3MB/s. Yeah I can browse the following webpages: "https://git.libre-soc.org/?p=dev-env-setup.git;a=tree" | 12:22 |
| Veera[m] | which OS? | 12:23 |
| octavius | ok just fixed it, I changed the "https" to "http". Didn't like the secured version for some reason. I'm using Debian 10.10 (buster) | 12:24 |
| Veera[m] | In a terminal type exactly "git clone https://git.libre-soc.org/git/dev-env-setup.git" | 12:24 |
| Veera[m] | In my end I can clone it. | 12:24 |
| octavius | For me only the http version worked | 12:24 |
| octavius | not sure why, this a fresh install | 12:24 |
| octavius | Anyway, I ran the install-hdl-apt-reqs script and had no errors | 12:25 |
| octavius | I'll look at the other scripts to setup the rest of the environment | 12:26 |
| Veera[m] | firewall may be blocking it | 12:26 |
| Veera[m] | Are you using Debian Buster | 12:26 |
| octavius | Yeah, Debian Buster version 10.10 | 12:26 |
| octavius | A stackoverflow page suggests it's a CA certificate issue: https://stackoverflow.com/questions/8644947/git-http-request-failed | 12:28 |
| octavius | Ah, I disabled git SSL verification to test if the CA cert was the issue, still can't clone with https. And my ca-certificates packages is up to date. | 12:32 |
| Veera[m] | does command "dpkg -l" lists ca-certificates | 12:32 |
| octavius | Grep'ing for "ca-certificates" lists Common CA certificates (20200601~deb10u2) and a JKS keystore (20190405) | 12:35 |
| Veera[m] | which country residence? | 12:37 |
| octavius | UK | 12:37 |
| Veera[m] | Am from India and it is working nicely! | 12:38 |
| Veera[m] | Perhaps, Luke can debug or help! | 12:38 |
| octavius | Luckily this isn't too critical at the moment, but I'll try on my other pc's and see if it's a debian issue. Thanks for your help Veera! | 12:39 |
| kylel | are you getting a https/2 error with git? | 12:40 |
| octavius | No, I'm getting "Failed sending HTTP request" | 12:42 |
| kylel | maybe same thing, there is an issue with curl | 12:42 |
| Veera[m] | git uses libcurl | 12:43 |
| octavius | Are you referring to this: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=987187 | 12:45 |
| octavius | libcurl3-gnutls from backports breaks git http | 12:45 |
| kylel | yes | 12:45 |
| octavius | However setting the url to http (instead of https) worked for me, I guess it bypassed libcurl altogether | 12:46 |
| Veera[m] | which git version using? | 12:47 |
| Veera[m] | i have 2.20.1 | 12:47 |
| octavius | 2.30.2 | 12:48 |
| Veera[m] | is it backport one | 12:49 |
| octavius | Not sure | 12:51 |
| octavius | dpkg -l or apt install don't show me the details | 12:51 |
| Veera[m] | yes it is backports one | 12:52 |
| Veera[m] | dpkg -l shows it ending with bpo | 12:52 |
| octavius | Ah, didn't realise bpo meant that. I guess I could use the stable version instead? | 12:54 |
| Veera[m] | yes use stable version. | 12:57 |
| Veera[m] | does any other software depends on backport version | 12:57 |
| Veera[m] | * backport version? | 12:57 |
| octavius | I don't think so, at least apt-rdepends doesn't state git-2.30.2 anywhere as a dependency | 13:10 |
| Veera[m] | newer version of git have new features. I thought you might have need for them in your projects. | 13:12 |
| Veera[m] | octavius dow you have about us page | 13:13 |
| Veera[m] | s/dow/do/ | 13:13 |
| octavius | no, this IRC conversation is the first time I reached out to libre-soc team. I was planning to setup the environment and the SOC files, and looking at bug lists before adding myself. The wiki says to introduce myself on the mailing list, but I wasn't sure about it. I'll do it today. | 13:21 |
| Veera[m] | Yes. Introduce yourself in mailing list. | 13:24 |
| octavius | Will do. Thanks again for the help, I'll be back later. | 13:37 |
| lkcl | thank you kylel and Veera[m] for helping octavius out, there | 14:06 |
| lkcl | for future reference, generally what i do when people spot errors in the docs is: point out that they themselves can edit and correct the error! | 14:06 |
| lkcl | this is not always something that people realise is even possible | 14:07 |
| lkcl | i upgraded ca-certificates on the libre-soc.org server, let's see if that helps | 14:29 |
| Veera[m] | lkcl: if I remember I also had same or similar problem with git-backports | 14:31 |
| Veera[m] | octavius did not reply if problem is solved | 14:32 |
| lkcl | he worked it out (and used the devscripts) but now left (maybe he will see this in irclogs - hello octavius if you do :) ) | 14:57 |
| lkcl | Las[m], i'm slowly having to crank up the extreme-ness of the options to apt, to get it to stop failing due to my ISP's (extremely broken) transparent HTTP proxy | 15:19 |
| lkcl | this is the latest attempt https://gist.github.com/trastle/5722089 | 15:19 |
| *** kylel1 is now known as kylel | 15:37 | |
| jn | would it help to use HTTPS to bypass the broken HTTP proxy? | 15:38 |
| jn | i think recent versions of apt can use HTTPS out of the box | 15:39 |
| Veera[m] | apt-transport-https package | 15:45 |
| lkcl | jn: probably not. | 16:00 |
| lkcl | ngggggh frickin env vars. | 16:14 |
| lkcl | the "plain" schroot worked perfectly (but had to have explicit mount points) | 16:14 |
| lkcl | "directory" schroots try to be far too clever and are being a damn nuisance | 16:15 |
| Las[m] | Honestly this is the exact reason you should use Nix: It's actually reproducible | 17:14 |
| programmerjake | lkcl, I'd expect https to help, since any proxy has to just tunnel the raw bytes through unmodified (unless they do something crazy like they do in Kazakhstan iirc where the decrypt and reencrypt https so they can spy/block and everyone has to install the govt.'s ssl key) | 21:50 |
| octavius | I did see the logs luke, very convient to have the history right there ;) | 22:25 |
| octavius | I'll participate more tomorrow (by trying to edit the wiki first), see you all later | 22:27 |
Generated by irclog2html.py 2.17.1 by Marius Gedminas - find it at https://mg.pov.lt/irclog2html/!