Sign Up
Log In
Log In
or
Sign Up
Places
All Projects
Status Monitor
Collapse sidebar
home:slowphil:texmacs-devel
texmacs
04_axiom.patch
Overview
Repositories
Revisions
Requests
Users
Attributes
Meta
File 04_axiom.patch of Package texmacs
#!/bin/sh -e ## 04_axiom.dpatch by Ralf Treinen <treinen@debian.org> ## and modified by Atsuhito Kohda <kohda AT debian.org> ## All lines beginning with `## DP:' are a description of the patch. ## DP: modify the axiom plugin to use /usr/bin/axiom instead of AXIOMsys ## DP: #229172 and also #567339 diff -urNad /home/rt/debian/own/texmacs/texmacs-1.0.3/plugins/axiom/src/tm_axiom.c texmacs-1.0.3/plugins/axiom/src/tm_axiom.c --- /home/rt/debian/own/texmacs/texmacs-1.0.3/plugins/axiom/src/tm_axiom.c 2004-01-13 21:00:39.000000000 +0100 +++ texmacs-1.0.3/plugins/axiom/src/tm_axiom.c 2004-01-23 21:12:20.000000000 +0100 @@ -298,8 +298,8 @@ case 0: /* Axiom */ dup2(p1[1],1); close(p1[1]); close(p1[0]); dup2(p2[0],0); close(p2[0]); close(p2[1]); - execlp("AXIOMsys","AXIOMsys","-noclef",NULL); - fatal("exec AXIOMsys"); + execlp("/usr/bin/axiom","/usr/bin/axiom","-noclef","-noht","-nogr",0); + fatal("exec /usr/bin/axiom"); default: /* parent */ close(p1[1]); close(p2[0]); axin=fdopen(p2[1],"w"); axout=fdopen(p1[0],"r"); --- texmacs-1.0.7.3/plugins/axiom/progs/init-axiom.scm~ 2009-11-27 03:55:20.000000000 +0900 +++ texmacs-1.0.7.3/plugins/axiom/progs/init-axiom.scm 2010-02-17 07:35:44.000000000 +0900 @@ -12,7 +12,7 @@ ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; (plugin-configure axiom - (:require (url-exists-in-path? "AXIOMsys")) + (:require (url-exists-in-path? "axiom")) (:launch "tm_axiom") (:session "Axiom"))
Locations
Projects
Search
Status Monitor
Help
OpenBuildService.org
Documentation
API Documentation
Code of Conduct
Contact
Support
@OBShq
Terms
openSUSE Build Service is sponsored by
The Open Build Service is an
openSUSE project
.
Sign Up
Log In
Places
Places
All Projects
Status Monitor