The purpose of Session.pl is to create a session file which specify sequence of execution and Session.pl will control what to execute next time.
To run next session one should type
Session.pl SessionFileName
1 ppsy xxx yyy
5 ppsy xxx1 yyy
3 ppsy xxx yyy1
First time script will execute first line (ppsy xxx yyy). Then when script evoked second time it will execute second line despite the fact that there is number 5. When script finishes execution it adds "|-> execution date" to the line just executed. Current version does not support comments, but for session which already executed and have date one could add comments after the date.
~mikle/tools/Session.pl
Description is available at
http://www1.weizmann.ac.il/~katkov/tools/Session.html
or
http://www.weizmann.ac.il/~katkov/tools/Session.html
| File "subj": | File "Subj.ses": |
|
xgamma -gamma 2.72 Session.pl Subj.ses xgamma -gamma 1 |
1 ppsy xxx yyy 5 ppsy xxx1 yyy 3 ppsy xxx yyy1 |