Added configuration for diff2html

2026-08-13 12:43:44 +02:00
parent d1fe41b5cc
commit 302dc06e89
3 changed files with 68 additions and 5 deletions
@@ -5,6 +5,7 @@
         "private/config.rkt"
         "private/diff.rkt"
         "private/info.rkt"
+         "private/utils.rkt"
         simple-log
         racket/string
         net/sendurl
@@ -62,9 +63,7 @@
 ; result : The entered line or an EOF object.
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 (define (git-prompt p)
-  (display p)
-  (flush-output)
-  (read-line))
+  (input-prompt p))

 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 ; goal   : Add --porcelain to a Git argument list when it is absent.