gnu: tipp10: Adjust phases.

* gnu/packages/education.scm (tipp10)[arguments]: Return #t for
"disable-new-version-check"; fix indentation.
This commit is contained in:
Ricardo Wurmus 2017-01-15 12:16:49 +01:00
parent 9e39ac415d
commit 7cc9847324
No known key found for this signature in database
GPG key ID: 197A5888235FACAC

View file

@ -166,7 +166,8 @@ (define-public tipp10
;; TODO: Remove the checkbox from the dialog and the check itself
(substitute* '("widget/settingspages.cpp" "widget/mainwindow.cpp")
(("settings.value(\"check_new_version\", true)")
"settings.value(\"check_new_version\", false)"))))
"settings.value(\"check_new_version\", false)"))
#t))
(replace 'configure
(lambda* (#:key outputs #:allow-other-keys)
(let ((out (assoc-ref outputs "out")))