quarto-dev / quarto-dev/quarto-cli

[FR] Option to change the default output directory of generated files for `quarto use binder`

Open
#9,313 1 comment 4 reactions 0 assignees View on GitHub

Nobody has claimed this yet.

binder enhancement
Dominant language
JavaScript
Stars
6k
Forks
458
Avg merge
1d 9h
Merged PRs (30d)
41

Description

Discussed in https://github.com/quarto-dev/quarto-cli/discussions/9298

Originally posted by chainsawriot April 8, 2024

Description

The current default is to add the generated files (e.g. PostBuild, runtime.txt) to the root directory . of the project. repo2dockersupports these files to be in ./.binder or ./binder (an example and documentation).

It would be nice if we can change the default directory from the root directory to ./.binder or ./binder. It separates cleanly what files are generated by quarto for binder.

Contributor guide

Open the contributing guide

First steps

  1. Read the whole issue, then the project's contributing guide.
  2. Comment on the issue to say you are picking it up — it saves two people doing the same work.
  3. Fork the repository and make your change on a branch.
  4. Open a pull request that references the issue number.

Research direction

Start at the quarto use binder CLI entry point and inspect how it currently writes PostBuild and runtime.txt to the project root. Review the linked repo2docker specification and discussion for the supported .binder and binder layouts; done means the generated files can use the requested default directory.

Written by the indexing model from the issue text.

Assessment

Tech stack
javascript
Domain
cli
Issue type
Feature
Difficulty
4/5
Estimated time
3-5 days
Activity status
Stale
Clarity
Mostly clear
Newbie friendliness
35/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.