question-mark
Stuck on an issue?

Lightrun Answers was designed to reduce the constant googling that comes with debugging 3rd party libraries. It collects links to all the places you might be looking at while hunting down a tough bug.

And, if you’re still stuck at the end, we’re happy to hop on a call to see how we can help out.

Add docker options to repo2docker

See original GitHub issue

Proposed change

Add a way to add docker options to repo2docker.

Alternative options

There are no alternate options AFIK

Who would use this feature?

The issue I am facing is a building a x86 repo2docker on an m1 mac. I think this can be done by using docker options --platform linux/amd64 however I cannot do this currently

How much effort will adding it take?

I think this shoudl be quite straightforward.

Who can do this work?

Issue Analytics

  • State:closed
  • Created 2 years ago
  • Comments:15 (6 by maintainers)

github_iconTop GitHub Comments

2reactions
yuvipandacommented, Jan 12, 2022

@manics generally with traitlets I expect them to be loaded from the commandline, we should try to do that

1reaction
petersudmantcommented, Jan 12, 2022

Actually, this worked!

jupyter-repo2docker --config traitlets.config.json ./

where traitlets.config.json looks like this

{
    "Repo2Docker": {
        "extra_build_kwargs":{"platform":"linux/amd64"}
    }
}
Read more comments on GitHub >

github_iconTop Results From Across the Web

Configuration Files - Repo2Docker - Read the Docs
repo2docker looks for configuration files in the repository being built to determine how to build it. In general, repo2docker uses the same configuration ......
Read more >
Build a Docker image with repo2docker
repo2docker lets you quickly convert a Git repository into a Docker image that ... repo2docker will pip install the specified packages into the...
Read more >
Add option to generate non-Jupyter Dockerfiles #776 - GitHub
Add an option to repo2docker to generate a Dockerfile without Jupyter (unless it's required via requirements.txt etc.). This could allow users to leverage ......
Read more >
repo2docker Documentation - Read the Docs
for various ways in which you can use repo2docker. Contents ... Install Docker as it is required to build Docker images.
Read more >
repo2docker image - PrimeHub
After adding sudo, it is time to build an image with jupyter-repo2docker ... you could push the image to docker repository and register...
Read more >

github_iconTop Related Medium Post

No results found

github_iconTop Related StackOverflow Question

No results found

github_iconTroubleshoot Live Code

Lightrun enables developers to add logs, metrics and snapshots to live code - no restarts or redeploys required.
Start Free

github_iconTop Related Reddit Thread

No results found

github_iconTop Related Hackernoon Post

No results found

github_iconTop Related Tweet

No results found

github_iconTop Related Dev.to Post

No results found

github_iconTop Related Hashnode Post

No results found