AnswerDotAI / AnswerDotAI/nbdev
Make `nbdev_new` create settings with `git_url` using `GH_HOST`
- Lingua principale
- Jupyter Notebook
- Stelle
- 5.3k
- Fork
- 513
- Merge medio
- 2g 30m
- PR unite (30g)
- 8
Descrizione
I am using GH_HOST env variable with my GitHub Enterprise hostname, then expecting the settings.ini reflect that in docs section but still seeing `git_url = https://github.com/%(user)s/%(repo)s`
I can manually change that but not sure what could be side effect of git_url settings.
```bash
### Docs ###
branch = master
custom_sidebar = False
doc_host = https://%(user)s.github.io
doc_baseurl = /%(repo)s
git_url = https://github.com/%(user)s/%(repo)s
title = %(lib_name)s
```
cc @seeM
Guida per i contributori
Apri la guida per i contributori
Direzione di ricerca
Inizia dal punto di ingresso nbdev_new e verifica come crea settings.ini, in particolare la sezione Docs e il relativo valore git_url. Esegui nbdev_new con GH_HOST impostato su un nome host GitHub Enterprise, quindi verifica che la git_url generata utilizzi quell'host senza modificare le altre impostazioni documentate.
Scritto dal modello di indicizzazione a partire dal testo della issue.
Valutazione
- Stack tecnologico
- git, github, jupyter, python
- Ambito
- documentation, tooling
- Tipo di issue
- Bug
- Difficoltà
- 3/5
- Tempo stimato
- 1-2 giorni
- Stato di attività
- Ferma
- Chiarezza
- Abbastanza chiara
- Idoneità per principianti
- 35/100