Use grackt always for focus

This commit is contained in:
Jay McCarthy 2010-11-11 13:37:22 -07:00
parent da60adaec0
commit dc11fe216d
2 changed files with 2 additions and 4 deletions

View File

@ -160,8 +160,6 @@
; XXX Remove
(define mzc-path
(path->string (build-path trunk-dir "bin" "mzc")))
(define gracket-text-path
(path->string (build-path trunk-dir "bin" "gracket-text")))
(define gracket-path
(path->string (build-path trunk-dir "bin" "gracket")))
(define collects-pth
@ -211,7 +209,7 @@
rst)
(if (on-unix?)
(lambda ()
(list* gracket-text-path
(list* gracket-path
"-display"
(format ":~a" (+ XSERVER-OFFSET (current-worker)))
rst))

View File

@ -483,7 +483,7 @@
@p{Only one build runs at a time and when none is running the git repository is polled every @,(number->string (current-monitoring-interval-seconds)) seconds.}
@h1{How is the push "tested"?}
@p{Each file's @code{@,PROP:command-line} property is consulted. If it is the empty string, the file is ignored. If it is a string, then a single @code{~s} is replaced with the file's path, @code{racket}, @code{mzc}, @code{raco} with their path (for the current push), and @code{gracket} and @code{gracket-text} with @code{gracket-text}'s path (for the current push); then the resulting command-line is executed.
@p{Each file's @code{@,PROP:command-line} property is consulted. If it is the empty string, the file is ignored. If it is a string, then a single @code{~s} is replaced with the file's path, @code{racket}, @code{mzc}, @code{raco} with their path (for the current push), and @code{gracket} and @code{gracket-text} with @code{gracket}'s path (for the current push); then the resulting command-line is executed.
(Currently no other executables are allowed, so you can't @code{rm -fr /}.)
If there is no property value, the default @code{racket -qt ~s} is used if the file's suffix is @code{.rkt}, @code{.ss}, @code{.scm}, or @code{.scrbl} and @code{racket -f ~s} is used if the file's suffix is @code{.rktl}.}