j'utilise habituellement zsh, MAIS certains scripts *.sh utilisent
(#!/bin/sh), sans doute par défaut bash, et là mes vars d'environnement
ne sont pas settées correctement, où se trouve le fichier de config
permettant d'initialiser JAVA_HOME, PATH etc... avec le shell prix par
défaut qd on fait : sh script.sh ???
j'utilise habituellement zsh, MAIS certains scripts *.sh utilisent (#!/bin/sh), sans doute par défaut bash, et là mes vars d'environnement ne sont pas settées correctement, où se trouve le fichier de config permettant d'initialiser JAVA_HOME, PATH etc... avec le shell prix par défaut qd on fait : sh script.sh ???
et là "çA ROULE" et je ne pige pas ce qui pose pb, est-ce zsh qui prend pour lui l'argument java (ie. "-classpath ./lib/modeler/cayenne-modeler.jar") ???
où est-ce un pb lié au fait que je lance un "#!/bin/sh" par zsh ?
une différence de syntaxe ? mettre des "" ou `` autour des args java ???
j'utilise habituellement zsh, MAIS certains scripts *.sh utilisent
(#!/bin/sh), sans doute par défaut bash, et là mes vars d'environnement
ne sont pas settées correctement, où se trouve le fichier de config
permettant d'initialiser JAVA_HOME, PATH etc... avec le shell prix par
défaut qd on fait : sh script.sh ???
et là "çA ROULE" et je ne pige pas ce qui pose pb, est-ce zsh qui prend
pour lui l'argument java (ie. "-classpath
./lib/modeler/cayenne-modeler.jar") ???
où est-ce un pb lié au fait que je lance un "#!/bin/sh" par zsh ?
une différence de syntaxe ? mettre des "" ou `` autour des args java ???
j'utilise habituellement zsh, MAIS certains scripts *.sh utilisent (#!/bin/sh), sans doute par défaut bash, et là mes vars d'environnement ne sont pas settées correctement, où se trouve le fichier de config permettant d'initialiser JAVA_HOME, PATH etc... avec le shell prix par défaut qd on fait : sh script.sh ???
et là "çA ROULE" et je ne pige pas ce qui pose pb, est-ce zsh qui prend pour lui l'argument java (ie. "-classpath ./lib/modeler/cayenne-modeler.jar") ???
où est-ce un pb lié au fait que je lance un "#!/bin/sh" par zsh ?
une différence de syntaxe ? mettre des "" ou `` autour des args java ???
-- yt
Vincent NICOLAS
In article <1gju593.w2ys3w1blzoxsN%, (Yvon Thoraval) wrote:
Yvon Thoraval wrote:
j'utilise habituellement zsh, MAIS certains scripts *.sh utilisent (#!/bin/sh), sans doute par défaut bash, et là mes vars d'environnement ne sont pas settées correctement, où se trouve le fichier de config permettant d'initialiser JAVA_HOME, PATH etc... avec le shell prix par défaut qd on fait : sh script.sh ???
et là "çA ROULE" et je ne pige pas ce qui pose pb, est-ce zsh qui prend pour lui l'argument java (ie. "-classpath ./lib/modeler/cayenne-modeler.jar") ???
où est-ce un pb lié au fait que je lance un "#!/bin/sh" par zsh ?
une différence de syntaxe ? mettre des "" ou `` autour des args java ???
Je ne vois pas bien pourquoi tu veux lancer un shell sh avec zsh. Il serait plus simple je pense que mettre les variables d'environnement qui te manque et de lancer le script avec le shell qu'il faut.
Exemple, tu crées un fichier launch_script.sh dans lequel tu fais :
Cela dit, il doit y avoir moyen de mettre tous ces réglages dans le fichier adéquat, mais je ne me suis pas penché sur la configuration de MacOs X pour savoir exactement où. Cela dit, je serais étonné si ça ne marchait pas en mettant ça dans /etc/profile.
-- Vincent Nicolas En direct de Lyon
In article <1gju593.w2ys3w1blzoxsN%yvon.thoravalNO-SPAM@free.fr>,
yvon.thoravalNO-SPAM@free.fr (Yvon Thoraval) wrote:
j'utilise habituellement zsh, MAIS certains scripts *.sh utilisent
(#!/bin/sh), sans doute par défaut bash, et là mes vars d'environnement
ne sont pas settées correctement, où se trouve le fichier de config
permettant d'initialiser JAVA_HOME, PATH etc... avec le shell prix par
défaut qd on fait : sh script.sh ???
et là "çA ROULE" et je ne pige pas ce qui pose pb, est-ce zsh qui prend
pour lui l'argument java (ie. "-classpath
./lib/modeler/cayenne-modeler.jar") ???
où est-ce un pb lié au fait que je lance un "#!/bin/sh" par zsh ?
une différence de syntaxe ? mettre des "" ou `` autour des args java ???
Je ne vois pas bien pourquoi tu veux lancer un shell sh avec zsh.
Il serait plus simple je pense que mettre les variables d'environnement
qui te manque et de lancer le script avec le shell qu'il faut.
Exemple, tu crées un fichier launch_script.sh dans lequel tu fais :
Cela dit, il doit y avoir moyen de mettre tous ces réglages dans le
fichier adéquat, mais je ne me suis pas penché sur la configuration de
MacOs X pour savoir exactement où. Cela dit, je serais étonné si ça ne
marchait pas en mettant ça dans /etc/profile.
--
Vincent Nicolas
En direct de Lyon
vintzSANSPAM@infonie.fr
In article <1gju593.w2ys3w1blzoxsN%, (Yvon Thoraval) wrote:
Yvon Thoraval wrote:
j'utilise habituellement zsh, MAIS certains scripts *.sh utilisent (#!/bin/sh), sans doute par défaut bash, et là mes vars d'environnement ne sont pas settées correctement, où se trouve le fichier de config permettant d'initialiser JAVA_HOME, PATH etc... avec le shell prix par défaut qd on fait : sh script.sh ???
et là "çA ROULE" et je ne pige pas ce qui pose pb, est-ce zsh qui prend pour lui l'argument java (ie. "-classpath ./lib/modeler/cayenne-modeler.jar") ???
où est-ce un pb lié au fait que je lance un "#!/bin/sh" par zsh ?
une différence de syntaxe ? mettre des "" ou `` autour des args java ???
Je ne vois pas bien pourquoi tu veux lancer un shell sh avec zsh. Il serait plus simple je pense que mettre les variables d'environnement qui te manque et de lancer le script avec le shell qu'il faut.
Exemple, tu crées un fichier launch_script.sh dans lequel tu fais :
Cela dit, il doit y avoir moyen de mettre tous ces réglages dans le fichier adéquat, mais je ne me suis pas penché sur la configuration de MacOs X pour savoir exactement où. Cela dit, je serais étonné si ça ne marchait pas en mettant ça dans /etc/profile.
-- Vincent Nicolas En direct de Lyon
yvon.thoravalNO-SPAM
Vincent NICOLAS wrote:
Je ne vois pas bien pourquoi tu veux lancer un shell sh avec zsh.
Oui, c'est parce que le shell sh est livré avec une distrib et que j'utilise zsh.
Donc je n'ai pas setté mes vars d'environnement pour sh mais zsh.
Oui ton idée de launcher est ok.
Mais cette après-midi j'ai eu un truc "tordu", un script tout simple : #! /usr/bin/zsh
echo "toto"
ne marche pas quand je fais, dans le bon répertoire :
zsh ./mon_script
par contre, si je fais :
touch autre_script
et que je met avec le même éditeur de texte (Pepper) le même contenu que précédemment, ça roule...
ce doit être mon éditeur de texte qui déconne ?
je ne vois pas où... -- yt
Vincent NICOLAS <vintzSANSPAM@infonie.fr> wrote:
Je ne vois pas bien pourquoi tu veux lancer un shell sh avec zsh.
Oui, c'est parce que le shell sh est livré avec une distrib et que
j'utilise zsh.
Donc je n'ai pas setté mes vars d'environnement pour sh mais zsh.
Oui ton idée de launcher est ok.
Mais cette après-midi j'ai eu un truc "tordu", un script tout simple :
#! /usr/bin/zsh
echo "toto"
ne marche pas quand je fais, dans le bon répertoire :
zsh ./mon_script
par contre, si je fais :
touch autre_script
et que je met avec le même éditeur de texte (Pepper) le même contenu que
précédemment, ça roule...
Je ne vois pas bien pourquoi tu veux lancer un shell sh avec zsh.
Oui, c'est parce que le shell sh est livré avec une distrib et que j'utilise zsh.
Donc je n'ai pas setté mes vars d'environnement pour sh mais zsh.
Oui ton idée de launcher est ok.
Mais cette après-midi j'ai eu un truc "tordu", un script tout simple : #! /usr/bin/zsh
echo "toto"
ne marche pas quand je fais, dans le bon répertoire :
zsh ./mon_script
par contre, si je fais :
touch autre_script
et que je met avec le même éditeur de texte (Pepper) le même contenu que précédemment, ça roule...
ce doit être mon éditeur de texte qui déconne ?
je ne vois pas où... -- yt
Vincent NICOLAS
In article <1gjzc61.rriz1w178f12kN%, (Yvon Thoraval) wrote:
Vincent NICOLAS wrote:
Je ne vois pas bien pourquoi tu veux lancer un shell sh avec zsh.
Oui, c'est parce que le shell sh est livré avec une distrib et que j'utilise zsh.
Donc je n'ai pas setté mes vars d'environnement pour sh mais zsh.
Oui ton idée de launcher est ok.
Mais cette après-midi j'ai eu un truc "tordu", un script tout simple : #! /usr/bin/zsh
echo "toto"
ne marche pas quand je fais, dans le bon répertoire :
zsh ./mon_script
par contre, si je fais :
touch autre_script
et que je met avec le même éditeur de texte (Pepper) le même contenu que précédemment, ça roule...
ce doit être mon éditeur de texte qui déconne ?
je ne vois pas où...
? Bizarre en effet. Quelle différence entre les 2 fichiers si tu utilises le même éditeur ? Juste le touch ? Chez moi, ça roule sans problème, soit dit en passant, sans faire de touch...
-- Vincent Nicolas En direct de Lyon
In article <1gjzc61.rriz1w178f12kN%yvon.thoravalNO-SPAM@free.fr>,
yvon.thoravalNO-SPAM@free.fr (Yvon Thoraval) wrote:
Vincent NICOLAS <vintzSANSPAM@infonie.fr> wrote:
Je ne vois pas bien pourquoi tu veux lancer un shell sh avec zsh.
Oui, c'est parce que le shell sh est livré avec une distrib et que
j'utilise zsh.
Donc je n'ai pas setté mes vars d'environnement pour sh mais zsh.
Oui ton idée de launcher est ok.
Mais cette après-midi j'ai eu un truc "tordu", un script tout simple :
#! /usr/bin/zsh
echo "toto"
ne marche pas quand je fais, dans le bon répertoire :
zsh ./mon_script
par contre, si je fais :
touch autre_script
et que je met avec le même éditeur de texte (Pepper) le même contenu que
précédemment, ça roule...
ce doit être mon éditeur de texte qui déconne ?
je ne vois pas où...
? Bizarre en effet. Quelle différence entre les 2 fichiers si tu
utilises le même éditeur ? Juste le touch ?
Chez moi, ça roule sans problème, soit dit en passant, sans faire de
touch...
--
Vincent Nicolas
En direct de Lyon
vintzSANSPAM@infonie.fr
In article <1gjzc61.rriz1w178f12kN%, (Yvon Thoraval) wrote:
Vincent NICOLAS wrote:
Je ne vois pas bien pourquoi tu veux lancer un shell sh avec zsh.
Oui, c'est parce que le shell sh est livré avec une distrib et que j'utilise zsh.
Donc je n'ai pas setté mes vars d'environnement pour sh mais zsh.
Oui ton idée de launcher est ok.
Mais cette après-midi j'ai eu un truc "tordu", un script tout simple : #! /usr/bin/zsh
echo "toto"
ne marche pas quand je fais, dans le bon répertoire :
zsh ./mon_script
par contre, si je fais :
touch autre_script
et que je met avec le même éditeur de texte (Pepper) le même contenu que précédemment, ça roule...
ce doit être mon éditeur de texte qui déconne ?
je ne vois pas où...
? Bizarre en effet. Quelle différence entre les 2 fichiers si tu utilises le même éditeur ? Juste le touch ? Chez moi, ça roule sans problème, soit dit en passant, sans faire de touch...
-- Vincent Nicolas En direct de Lyon
yvon.thoravalNO-SPAM
Vincent NICOLAS wrote:
? Bizarre en effet. Quelle différence entre les 2 fichiers si tu utilises le même éditeur ? Juste le touch ?
de temps en temps, mais je pense que le pb vient de cette éditeur de texte Pepper qui vient du "monde" BeOS...
il faut que je me décide à le trasher.
je migre sur BBE Edit Lite
-- yt
Vincent NICOLAS <vintzSANSPAM@infonie.fr> wrote:
? Bizarre en effet. Quelle différence entre les 2 fichiers si tu
utilises le même éditeur ? Juste le touch ?
de temps en temps, mais je pense que le pb vient de cette éditeur de
texte Pepper qui vient du "monde" BeOS...