2 # Copyright (C) 2009 Ziga Lenarcic
3 # Copyright (C) 2011 Andrej Vodopivec
4 # This program is free software; you can redistribute it and/or modify
5 # it under the terms of the GNU General Public License as published by
6 # the Free Software Foundation; either version 2 of the License, or
7 # (at your option) any later version.
9 # This program is distributed in the hope that it will be useful, but
10 # WITHOUT ANY WARRANTY; without even the implied warranty of
11 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
12 # General Public License for more details.
14 # You should have received a copy of the GNU General Public License
15 # along with this program; if not, write to the Free Software
16 # Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA
20 MAXIMA_SCRIPT
=$ROOT/Contents
/Resources
/maxima.sh
22 # Run Maxima binary in a Terminal
23 osascript
2>&1>/dev
/null
<<EOF
24 tell application "System Events" to set ProcessList to get name of every process
25 tell application "Terminal"
27 if ProcessList contains "Terminal" then
28 do script ("exec '${MAXIMA_SCRIPT}'")
30 do script ("exec '${MAXIMA_SCRIPT}'") in front window
35 # Close Maxima.app, the Terminal stays open though.
36 osascript
2>&1>/dev
/null
<<EOF
37 tell application "Maxima"