Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

default configuration file #837

Closed
thehowl opened this issue May 19, 2023 · 0 comments
Closed

default configuration file #837

thehowl opened this issue May 19, 2023 · 0 comments
Assignees
@thehowl
Labels
📦 ⛰️ gno.land Issues or PRs gno.land package related 📦 🤖 gnovm Issues or PRs gnovm related 🌟 improvement performance improvements, refactors ...
Milestone
🌟 main.gno.land (...

Comments

@thehowl
Copy link
Member

thehowl commented May 19, 2023

#827 introduced the ability to configure a configuration file. What if we made this default to $GNO_HOME/config.toml? (via client.HomeDir() for default value of GNO_HOME)
@thehowl thehowl added 📦 🤖 gnovm Issues or PRs gnovm related 📦 ⛰️ gno.land Issues or PRs gno.land package related 🌟 improvement performance improvements, refactors ... labels May 19, 2023
@thehowl thehowl self-assigned this May 19, 2023
@moul moul added this to the 🌟 main.gno.land (wanted) milestone Sep 8, 2023
@zivkovicmilos zivkovicmilos closed this as not planned Won't fix, can't repro, duplicate, stale Sep 12, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@thehowl thehowl

Labels
📦 ⛰️ gno.land Issues or PRs gno.land package related 📦 🤖 gnovm Issues or PRs gnovm related 🌟 improvement performance improvements, refactors ...
Projects
🚀 The Launch [DEPRECATED]
Status: 🌟 Wanted for Launch
Milestone
🌟 main.gno.land (wanted)
Development

No branches or pull requests
3 participants
@moul @thehowl @zivkovicmilos