version 1.1.1.1, 1999/10/08 02:12:02 |
version 1.4, 1999/11/04 12:08:43 |
|
|
|
%%%%%%%%%%% $OpenXM: OpenXM/src/kan96xx/Doc/ox.sm1,v 1.3 1999/11/03 00:45:43 takayama Exp $ |
%%%%%%%%%%%% Configuration: Specify your server path |
%%%%%%%%%%%% Configuration: Specify your server path |
%%%%% ox, ox_sm1, oxlog are contained in kxx.tgz |
%%%%% ox, ox_sm1, oxlog are contained in kxx.tgz |
%%%%% These should be under /usr/local/lib/sm1 or LOAD_SM1_PATH |
%%%%% These should be under /usr/local/lib/sm1 or LOAD_SM1_PATH |
|
|
/oxpath.xterm (/usr/X11R6/bin/xterm -icon -e ) def |
/oxpath.xterm (/usr/X11R6/bin/xterm -icon -e ) def |
/oxpath.null ( ) def |
/oxpath.null ( ) def |
/oxpath.null00 ( >& /dev/null ) def %% cf oxNoX |
/oxpath.null00 ( >& /dev/null ) def %% cf oxNoX |
|
%%%%%%%%%%%%% The following is used only for sm1connectr-ssh. |
|
%%%%%%%%%%%%% Configure path for ox and ox_sm1 on your remote machine. |
|
/oxpath.oxlog.xterm-ssh (/home/taka/OpenXM/bin/oxlog /usr/X11R6/bin/xterm -icon -e ) def |
|
/oxpath.oxsm1-ssh (/home/taka/OpenXM/bin/ox_sm1) def |
|
/oxpath.ox-ssh (/home/taka/OpenXM/bin/ox) def |
|
/myhostname-ssh (yama.math.kobe-u.ac.jp) def |
|
%% for debugging. |
|
%/oxpath.oxlog.xterm-ssh ( ) def |
|
%/oxpath.oxsm1-ssh (/home/nobuki/OpenXM/bin/ox_sm1) def |
|
%/oxpath.ox-ssh (/home/nobuki/OpenXM/bin/ox) def |
|
%/myhostname-ssh (localhost) def |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
%% Old full path. |
%% Old full path. |
%/oxpath.ox (/home/nobuki/kxx/ox) def |
%/oxpath.ox (/home/nobuki/kxx/ox) def |
Line 127 ox.version [(Version)] system_variable gt |
|
Line 139 ox.version [(Version)] system_variable gt |
|
(oxhelp for this message, [(oxWatch) client] extension to start a log.) |
(oxhelp for this message, [(oxWatch) client] extension to start a log.) |
([(oxSerial)] extension serial-number-of-out-going-ox-packet.) |
([(oxSerial)] extension serial-number-of-out-going-ox-packet.) |
(oxpopcmo1, oxpopcmo2, sm1connect2, sm1connect3) |
(oxpopcmo1, oxpopcmo2, sm1connect2, sm1connect3) |
(sm1connectr ) |
(sm1connectr ox_launch, ox_launch_nox) |
(oxNoX : set an environment to invoke oxlog without xterm and to call oxlog with >& /dev/null) |
(oxNoX : set an environment to invoke oxlog without xterm and to call oxlog with >& /dev/null) |
$ ex 1. (ox.sm1) run oxNoX sm1connectr $ |
$ ex 1. (ox.sm1) run oxNoX sm1connectr $ |
$ ex 2. (oxasir.sm1) run oxNoX (x^2-1). fctr pmat ; $ |
$ ex 2. (oxasir.sm1) run oxNoX (x^2-1). fctr pmat ; $ |
|
|
popVariables |
popVariables |
} def |
} def |
|
|
|
/sm1connectr-ssh { |
|
/arg1 set |
|
[/in-sm1connectr /pass /peer /data /control /name /machine |
|
/your-peer /comm |
|
] pushVariables |
|
[ |
|
/machine arg1 0 get def |
|
/name arg1 1 get def |
|
|
|
/pass [(oxGenPass)] extension def |
|
/peer [(oxGetPort) myhostname-ssh] extension def |
|
/data peer 1 get toString def |
|
/control peer 3 get toString def |
|
peer message |
|
[(ssh -f ) machine ( -l ) name ( ") |
|
oxpath.oxlog.xterm-ssh oxpath.ox-ssh ( -reverse -ox ) oxpath.oxsm1-ssh |
|
( -host ) myhostname-ssh |
|
( -data ) data ( -control ) control ( -pass ) pass |
|
oxpath.null |
|
( ") |
|
] cat /comm set |
|
(Executing the command : ) messagen comm message message |
|
comm system |
|
(sleep 5) system |
|
[(oxCreateClient2) peer 1 pass] extension /your-peer set |
|
/arg1 your-peer def |
|
] pop |
|
popVariables |
|
arg1 |
|
} def |
|
[(sm1connectr-ssh) |
|
[([hostname login-name] sm1connectr-ssh client) |
|
(Starting oxpath.oxsm1-ssh by the launcher oxpath.ox-ssh on the "hostname".) |
|
(cf. oxNoX ) |
|
(Set the following varialbes to appropriate values:) |
|
(oxpath.oxlog.xterm-ssh oxpath.oxsm1-ssh oxpath.ox-ssh myhostname-ssh ) |
|
$Example 1: $ |
|
$ *** Path names on the remote machine dc1.math.kobe-u.ac.jp $ |
|
$ /oxpath.oxlog.xterm-ssh (/home/taka/OpenXM/bin/oxlog /usr/X11R6/bin/xterm -icon -e ) def $ |
|
$ /oxpath.oxsm1-ssh (/home/taka/OpenXM/bin/ox_sm1) def $ |
|
$ /oxpath.ox-ssh (/home/taka/OpenXM/bin/ox) def $ |
|
$ *** The machine name on which you are running sm1. $ |
|
$ /myhostname-ssh (yama.math.kobe-u.ac.jp) def $ |
|
$ [(dc1.math.kobe-u.ac.jp) (taka)] sm1connectr-ssh /ox.ccc set $ |
|
$Example 2: $ |
|
$ *** Path names on the remote machine dc2.math.kobe-u.ac.jp $ |
|
$ *** We will not use X11 debug windows. $ |
|
$ oxNoX $ |
|
$ /oxpath.oxlog.xterm-ssh (/home/taka/OpenXM/bin/oxlog ) def $ |
|
$ /oxpath.oxsm1-ssh (/home/taka/OpenXM/bin/ox_sm1) def $ |
|
$ /oxpath.ox-ssh (/home/taka/OpenXM/bin/ox) def $ |
|
$ *** the machine name on which you are running sm1. $ |
|
$ /myhostname-ssh (dc1.math.kobe-u.ac.jp) def $ |
|
$ [(dc2.math.kobe-u.ac.jp) (taka)] sm1connectr-ssh /ox.ccc set $ |
|
]] putUsages |
|
|
/addSlash { |
/addSlash { |
/arg1 set |
/arg1 set |
[/in-addSlash /ss /aaa /ans] pushVariables |
[/in-addSlash /ss /aaa /ans] pushVariables |
|
|
(This command searches the fname in /usr/local/lib/asir and ASIR_LIBDIR) |
(This command searches the fname in /usr/local/lib/asir and ASIR_LIBDIR) |
(and returns the fullname.) |
(and returns the fullname.) |
]] putUsages |
]] putUsages |
|
|
|
|
|
/ox_launch_nox { |
|
/@@@.ox_launch_nox 1 def |
|
ox_launch_aux |
|
} def |
|
/ox_launch { |
|
/@@@.ox_launch_nox 0 def |
|
ox_launch_aux |
|
} def |
|
|
|
/ox_launch_aux { |
|
/arg1 set |
|
[/in-launch_nox /pass /peer /data /control /name /machine |
|
/your-peer /comm /remoteOpenXMbin /remoteServer /myhost |
|
] pushVariables |
|
[ |
|
/machine arg1 0 get def |
|
/remoteOpenXMbin arg1 1 get def |
|
/remoteServer arg1 2 get def |
|
/name arg1 3 get def |
|
/myhost arg1 4 get def |
|
|
|
/pass [(oxGenPass)] extension def |
|
/peer [(oxGetPort) myhost] extension def |
|
/data peer 1 get toString def |
|
/control peer 3 get toString def |
|
peer message |
|
[(ssh -f ) machine ( -l ) name ( ") |
|
|
|
@@@.ox_launch_nox { |
|
} { |
|
remoteOpenXMbin(/oxlog ) |
|
( /usr/X11R6/bin/xterm -icon -e ) |
|
} ifelse |
|
|
|
( ) remoteOpenXMbin (/ox ) |
|
( -reverse -ox ) remoteServer |
|
( -host ) myhost |
|
( -data ) data ( -control ) control ( -pass ) pass |
|
oxpath.null |
|
( ") |
|
] cat /comm set |
|
(Executing the command : ) messagen comm message message |
|
comm system |
|
(sleep 5) system |
|
[(oxCreateClient2) peer 1 pass] extension /your-peer set |
|
/arg1 your-peer def |
|
] pop |
|
popVariables |
|
arg1 |
|
} def |
|
|
|
[(ox_launch) |
|
[( [remote remote-OpenXM-bin remote-ox-server remote-login-name myhostname] ) |
|
( ox_launch client ) |
|
(Example 1: ) |
|
$ [(tau.math.kobe-u.ac.jp) (/home/taka/OpenXM/bin) $ |
|
$ (/home/taka/OpenXM/src/ox_math/ox_math) (taka) (dc4.math.kobe-u.ac.jp) $ |
|
$ ] ox_launch /@@@.oxmath set $ |
|
]] putUsages |
|
|
|
[(ox_launch_nox) |
|
[( [remote remote-OpenXM-bin remote-ox-server remote-login-name myhostname] ) |
|
( ox_launch_nox client ) |
|
(Example 1: ) |
|
$ [(tau.math.kobe-u.ac.jp) (/home/taka/OpenXM/bin) $ |
|
$ (/home/taka/OpenXM/src/ox_math/ox_math) (taka) (dc4.math.kobe-u.ac.jp) $ |
|
$ ] ox_launch_nox /@@@.oxmath set $ |
|
]] putUsages |
|
|
|
|
|
|
|
|