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.

support .binder instead of binder as config directory

See original GitHub issue

I would like to use the path.binder/ rather than binder/ for my repo configuration. I read the docs but couldn’t figure out if it is supported to change the config path. I tried it and I think it did not work.

Issue Analytics

State:
Created 5 years ago
Comments:9 (9 by maintainers)

Top GitHub Comments

3reactions

consideRatiocommented, Apr 27, 2019

It is very typical, for example .circleci etc, that build configuration stuff is in hidden files and folders. Since it has been done with the nonhidden binder folder up until now, i also think a pr to support both would make sense.

1reaction

jhammancommented, Apr 28, 2019

I’ve opened PR #653 to add support for the .binder directory.

Top Results From Across the Web

support .binder instead of binder as config directory #617

I'm +1 on a change like this. It would be nice to have the option to "hide" the binder directory from the user....

Get started with Binder — Binder 0.1b documentation

A Binder repository can be built by a BinderHub, which will generate a link that you can share with others, allowing them to...

Binder Documentation

Binder is a tool for automatic generation of Python bindings for C++11 projects using Pybind11 and Clang LibTooling libraries.

ConfigurationBinder Class

Static helper class that allows binding strongly typed objects to configuration values.

8. Configuration Options

Spring Cloud Stream supports general configuration options as well as configuration for bindings and binders. Some binders let additional binding properties ...