diff options
Diffstat (limited to 'cad/astk-serveur/files.client')
| -rw-r--r-- | cad/astk-serveur/files.client/patch-lib::ASTK::astkrc::outils | 12 | ||||
| -rw-r--r-- | cad/astk-serveur/files.client/patch-lib::ASTK::tools.tcl | 18 |
2 files changed, 24 insertions, 6 deletions
diff --git a/cad/astk-serveur/files.client/patch-lib::ASTK::astkrc::outils b/cad/astk-serveur/files.client/patch-lib::ASTK::astkrc::outils index 3c0fa02454c6..4f4955b3ea00 100644 --- a/cad/astk-serveur/files.client/patch-lib::ASTK::astkrc::outils +++ b/cad/astk-serveur/files.client/patch-lib::ASTK::astkrc::outils @@ -1,21 +1,21 @@ ---- ./lib/ASTK/astkrc/outils.orig Fri Nov 28 11:21:00 2003 -+++ ./lib/ASTK/astkrc/outils Thu May 20 23:17:34 2004 +--- ./lib/ASTK/astkrc/outils.orig Mon Dec 13 14:34:29 2004 ++++ ./lib/ASTK/astkrc/outils Sun Jan 9 23:33:55 2005 @@ -19,7 +19,7 @@ dist : on # nom : Gibi --cmde : TOOLS_DIR/gibi.x (@F) -+cmde : TOOLS_DIR/GIBI (@F) +-cmde : ?TOOLS_DIR?/gibi.x (@F) ++cmde : ?TOOLS_DIR?/GIBI (@F) ext : datg dgibi dist : on # @@ -27,4 +27,9 @@ - cmde : TOOLS_DIR/xmgrace (@F) + cmde : ?TOOLS_DIR?/xmgrace (@F) ext : dat dist : on +# +nom : Stanley -+cmde : TOOLS_DIR/../bibpyt/Stanley/stanley.py ++cmde : ?TOOLS_DIR?/../?vaster?/bibpyt/Stanley/stanley.py +ext : _VIDE +dist : off # diff --git a/cad/astk-serveur/files.client/patch-lib::ASTK::tools.tcl b/cad/astk-serveur/files.client/patch-lib::ASTK::tools.tcl new file mode 100644 index 000000000000..b208c310f061 --- /dev/null +++ b/cad/astk-serveur/files.client/patch-lib::ASTK::tools.tcl @@ -0,0 +1,18 @@ +--- ./lib/ASTK/tools.tcl.orig Mon Dec 6 09:48:47 2004 ++++ ./lib/ASTK/tools.tcl Sun Jan 16 00:43:35 2005 +@@ -51,12 +51,12 @@ + if { $sortie } { + # vérifie que les commandes distantes fonctionnent + init_config +- if { $config(-1,remote_shell_protocol) == "" || $config(-1,remote_shell_protocol) == "RSH" } { ++ if { $astk::config(-1,remote_shell_protocol) == "" || $astk::config(-1,remote_shell_protocol) == "RSH" } { + set cmd "rsh -n -l $astk::config(-1,login) $astk::config(-1,nom_complet) echo hello" +- } elseif { $config(-1,remote_shell_protocol) == "SSH" } { ++ } elseif { $astk::config(-1,remote_shell_protocol) == "SSH" } { + set cmd "ssh -n -l $astk::config(-1,login) $astk::config(-1,nom_complet) echo hello" + } else { +- ashare::mess erreur 49 $config(-1,remote_shell_protocol) ++ ashare::mess erreur 49 $astk::config(-1,remote_shell_protocol) + # le premier appel à rexec_cmd échouera + cmd="echo ERROR" + } |