| version 1.2, 2000/12/14 05:09:29 |
version 1.3, 2000/12/14 05:28:05 |
|
|
| ID=" $OpenXM: OpenXM/src/Macaulay2/m2/oxclient.m2,v 1.1 2000/09/21 09:20:53 takayama Exp $ " |
ID=" $OpenXM: OpenXM/src/Macaulay2/m2/oxclient.m2,v 1.2 2000/12/14 05:09:29 takayama Exp $ " |
| |
|
| load "oxcommon.m2" |
load "oxcommon.m2" |
| |
|
| Line 241 oxPrimDecomp(OXSESSION, Ideal) := (F, I) -> ( |
|
| Line 241 oxPrimDecomp(OXSESSION, Ideal) := (F, I) -> ( |
|
| |
|
| makeLaunchCommand=(UseSSH,MyHostName,RemoteLoginName,RemoteHostName,OxServerName,dPort,cPort,PASS)->( |
makeLaunchCommand=(UseSSH,MyHostName,RemoteLoginName,RemoteHostName,OxServerName,dPort,cPort,PASS)->( |
| commXterm := toString " xterm -geometry 80x25-0-0 " ; |
commXterm := toString " xterm -geometry 80x25-0-0 " ; |
| commOX :=toString " -e ox -ox " | OxServerName | |
commOX :=toString " -e ox -ox " | |
| |
getenv("OpenXM_HOME") | "/bin/" | |
| |
OxServerName | |
| " -data " | dPort | |
" -data " | dPort | |
| " -control " | cPort | |
" -control " | cPort | |
| " -reverse " | |
" -reverse " | |
| Line 252 makeLaunchCommand=(UseSSH,MyHostName,RemoteLoginName,R |
|
| Line 254 makeLaunchCommand=(UseSSH,MyHostName,RemoteLoginName,R |
|
| RemoteHostName | |
RemoteHostName | |
| " '" | commXterm | |
" '" | commXterm | |
| --uncomment when X11 forwarding is not allowed. |
--uncomment when X11 forwarding is not allowed. |
| " -display " | MyHostName | ":0 " | |
-- " -display " | MyHostName | ":0 " | |
| commOX | "' >/dev/null "; |
commOX | "' >/dev/null "; |
| ) |
) |
| else ( |
else ( |
![[BACK]](/icons/cvsweb/back.gif){kind=icon}
Return to oxclient.m2 CVS log ![[TXT]](/icons/cvsweb/text.gif){kind=icon}
![[DIR]](/icons/cvsweb/dir.gif){kind=icon}
Up to [local] / OpenXM / src / Macaulay2 / m2