pini/duniter-gva
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

feat(conf): make param playground_path configurable with cli command

Browse source
This commit is contained in:
librelois 2021-05-30 00:56:21 +02:00
parent d2c46fbd06
commit 02b68de3e8
1 changed files with 5 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
conf/src/lib.rs
View file

@ -171,6 +171,11 @@ impl GvaCommand {
.msg(format!("Path ? [{}]", conf.path))
.default(conf.path)
.get();
// playgroundPath
conf.path = input()
.msg(format!("playground path ? [{}]", conf.playground_path))
.default(conf.playground_path.clone())
.get();
// subscriptionsPath
conf.subscriptions_path = input()
.msg(format!(