search

input-output-hk / devx

The Developer Experience Shell - This repo contains a nix develop shell for haskell. Its primary purpose is to help get a development shell for haskell quickly and across multiple operating systems (and architectures).
Apache License 2.0
37 stars 9 forks source link

Fix #124: cabal update with CHaP fails inside Docker container #127

Closed yvan-sraka closed 4 months ago

yvan-sraka commented 4 months ago

... seems like curl should be available in DevContainer to use chap, otherwise:

[/workspaces/cardano-base]$ which curl
[/workspaces/cardano-base]$ cabal update
Warning: Caught exception during _mirrors lookup:user error (res_query(3)
failed)
Warning: No mirrors found for https://chap.intersectmbo.org/
user error (https not supported)

@andreabedini thoughts on that?

yvan-sraka commented 4 months ago

Maybe this PR is useless since https://github.com/input-output-hk/devx/pull/119 by @sgillespie already got merged, and the issue here is more about the ghcr.io devx-devcontainer packages that seem to not be up-to-date with devx shell ...

yvan-sraka commented 4 months ago

Hum ... all the codespace-upload jobs seems to have failed, because dpkg --configure tzdata ask something interactively:

2024-01-11T02:27:09.3116813Z #7 14.52 Setting up tzdata (2023c-9ubuntu1) ...
2024-01-11T02:27:09.3117343Z #7 14.58 debconf: unable to initialize frontend: Dialog
2024-01-11T02:27:09.3117991Z #7 14.58 debconf: (TERM is not set, so the dialog frontend is not usable.)
2024-01-11T02:27:09.3118626Z #7 14.58 debconf: falling back to frontend: Readline
2024-01-11T02:27:09.4110276Z #7 14.58 debconf: unable to initialize frontend: Readline
2024-01-11T02:27:09.4111603Z #7 14.58 debconf: (This frontend requires a controlling tty.)
2024-01-11T02:27:09.4119954Z #7 14.58 debconf: falling back to frontend: Teletype
2024-01-11T02:27:09.4126217Z #7 14.61 Configuring tzdata
2024-01-11T02:27:09.4127187Z #7 14.61 ------------------
2024-01-11T02:27:09.4128206Z #7 14.61 
2024-01-11T02:27:09.4129156Z #7 14.61 Please select the geographic area in which you live. Subsequent configuration
2024-01-11T02:27:09.4130641Z #7 14.61 questions will narrow this down by presenting a list of cities, representing
2024-01-11T02:27:09.4132271Z #7 14.61 the time zones in which they are located.
2024-01-11T02:27:09.4133006Z #7 14.61 
2024-01-11T02:27:09.4133853Z #7 14.61   1. Africa   3. Antarctica  5. Asia      7. Australia  9. Indian    11. Etc
2024-01-11T02:27:09.4135208Z #7 14.61   2. America  4. Arctic      6. Atlantic  8. Europe     10. Pacific
2024-01-11T02:27:09.4147562Z #7 14.61 Geographic area: 
...
yvan-sraka commented 4 months ago

https://github.com/input-output-hk/devx/pull/127/commits/11133d9cd4a2c268a6015751682e1c7aac1ba18c seems to do the job (docker build . works now on my machine)!