The directory with mdbook files is currently automatically set using directories-next. This would make more sense if it was in a more user-accessible location.
This could be done the same way as the hypothesis_name and hypothesis_key are set, i.e with an input prompt where the user can enter a directory (see request_credentials in gooseberry/configuration.rs). Would need to check that the directory path is valid and doesn't already exist. Also would make sense to suggest some default directory here, maybe in $HOME.
The directory with mdbook files is currently automatically set using directories-next. This would make more sense if it was in a more user-accessible location. This could be done the same way as the hypothesis_name and hypothesis_key are set, i.e with an input prompt where the user can enter a directory (see
request_credentials
ingooseberry/configuration.rs
). Would need to check that the directory path is valid and doesn't already exist. Also would make sense to suggest some default directory here, maybe in $HOME.