diff options
Diffstat (limited to '0001-Sage-plugin-fix-which-not-found.patch')
| -rw-r--r-- | 0001-Sage-plugin-fix-which-not-found.patch | 34 |
1 files changed, 0 insertions, 34 deletions
diff --git a/0001-Sage-plugin-fix-which-not-found.patch b/0001-Sage-plugin-fix-which-not-found.patch deleted file mode 100644 index 7498ad58d528..000000000000 --- a/0001-Sage-plugin-fix-which-not-found.patch +++ /dev/null @@ -1,34 +0,0 @@ -From 9fe7daa2c6f1ee21bcecb94eda583ada13686e97 Mon Sep 17 00:00:00 2001 -From: wangjiezhe <wangjiezhe@gmail.com> -Date: Wed, 8 Jun 2016 11:20:42 +0800 -Subject: [PATCH] Sage plugin: fix `which` not found - ---- - plugins/sage/progs/init-sage.scm | 8 +++++++- - 1 file changed, 7 insertions(+), 1 deletion(-) - -diff --git a/plugins/sage/progs/init-sage.scm b/plugins/sage/progs/init-sage.scm -index f3fb9224e..b18bf07c9 100644 ---- a/plugins/sage/progs/init-sage.scm -+++ b/plugins/sage/progs/init-sage.scm -@@ -12,10 +12,16 @@ - ;; - ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; - -+(define (sage-launcher) -+ (with path "$TEXMACS_BIN_PATH/bin/tm_sage" -+ (string-append -+ "sage -python " -+ (url-concretize (unix->url path))))) -+ - (plugin-configure sage - (:macpath "Sage*" "Contents/Resources/sage") - (:require (url-exists-in-path? "sage")) -- (:launch "sage -python `which tm_sage`") -+ (:launch ,(sage-launcher)) - (:tab-completion #t) - (:session "Sage") - (:scripts "Sage")) --- -2.15.0 - |