Urgent SVP : Erreur "./STeP: line 44: /bin/.arch-n-opsys"
50 réponses
Aniss
Bonjour ,
Je suis un =E9tudiant en Mast=E8re informatique, je travaille sur la
validation de la mod=E9lisation multi formelle d'un SMA se basant sur
object-Z et les RdP, j'ai voulus utiliser le programme STeP (Stanford
Temporal Prouver) malheureusement je n'ai pas r=E9ussi =E0 l'installer
car cela me donne une erreur "unable to determine
architecture/operating system".
Merci
D=E9tails :
Version Linux : Knoppix 4.1
Les shells disponible : (j'ai essay=E9 avec le Sh)
Bash
Csh
Dash
Sash
Sh
Version de STeP utilis=E9 : 1.4.x86
trace d'ex=E9cution du programme STeP :
knoppix@1[knoppix]$ cd /mnt
knoppix@1[mnt]$ cd uba1
knoppix@1[uba1]$ cd STeP
knoppix@1[STeP]$ cd bin
knoppix@1[bin]$ STeP
./STeP: line 44: /bin/.arch-n-opsys: Aucun fichier ou r=E9pertoire de ce
type
STeP: unable to determine architecture/operating system
C'est ce qu'il espère en sortant de l'école avec son diplôme. Ha les jeunes et leurs illusions...
D'un autre côté, il y en a qui sorte d'une école et qui croient dur comme du fer avoir un diplôme d'ingénieur...
D'un autre côté, il y en a qui n'ont jamais mis les pieds dans une fac et qui croient dur comme du fer avoir un diplôme de docteur...
Ha les vieux et leurs illusions...
Stéphane
--
Pour me répondre, traduire gratuit en anglais et virer le .invalid. http://stef.carpentier.free.fr/
Aniss
je ne sais pas, si ce n'est pas un débat de m'aider à contourner ce problème, ça serai quoi? plein de gens aident les autres dans ce monde, j'ai besoin de votre aides tous, non pas de vos moquerie, j'ai rien fait, le temps presse, et il serai aimable de m'informer, sinon me dire ou m'informer MErci à tous
je ne sais pas, si ce n'est pas un débat de m'aider à contourner ce
problème, ça serai quoi? plein de gens aident les autres dans ce
monde, j'ai besoin de votre aides tous, non pas de vos moquerie, j'ai
rien fait, le temps presse, et il serai aimable de m'informer, sinon me
dire ou m'informer
MErci à tous
je ne sais pas, si ce n'est pas un débat de m'aider à contourner ce problème, ça serai quoi? plein de gens aident les autres dans ce monde, j'ai besoin de votre aides tous, non pas de vos moquerie, j'ai rien fait, le temps presse, et il serai aimable de m'informer, sinon me dire ou m'informer MErci à tous
Thierry Boudet
On 2005-12-29, Aniss wrote:
je ne sais pas, si ce n'est pas un débat de m'aider à contourner ce problème, ça serai quoi? plein de gens aident les autres dans ce monde, j'ai besoin de votre aides tous, non pas de vos moquerie, j'ai rien fait, le temps presse, et il serai aimable de m'informer, sinon me dire ou m'informer
(1) Lisez la notice de votre logiciel. (2) Demandez une formation à votre employeur. (3) Téléchargez le crack sur eMule.
Attention, vous n'avez droit qu'à une réponse.
-- | la difference est que pick etant sous root il est vraiment securise et un |plantage pick plante root en general donc ... +--------------- Helios plante l'avatar...
On 2005-12-29, Aniss <Anis.memmi@gmail.com> wrote:
je ne sais pas, si ce n'est pas un débat de m'aider à contourner ce
problème, ça serai quoi? plein de gens aident les autres dans ce
monde, j'ai besoin de votre aides tous, non pas de vos moquerie, j'ai
rien fait, le temps presse, et il serai aimable de m'informer, sinon me
dire ou m'informer
(1) Lisez la notice de votre logiciel.
(2) Demandez une formation à votre employeur.
(3) Téléchargez le crack sur eMule.
Attention, vous n'avez droit qu'à une réponse.
--
| la difference est que pick etant sous root il est vraiment securise et un
|plantage pick plante root en general donc ...
+--------------- Helios plante l'avatar...
je ne sais pas, si ce n'est pas un débat de m'aider à contourner ce problème, ça serai quoi? plein de gens aident les autres dans ce monde, j'ai besoin de votre aides tous, non pas de vos moquerie, j'ai rien fait, le temps presse, et il serai aimable de m'informer, sinon me dire ou m'informer
(1) Lisez la notice de votre logiciel. (2) Demandez une formation à votre employeur. (3) Téléchargez le crack sur eMule.
Attention, vous n'avez droit qu'à une réponse.
-- | la difference est que pick etant sous root il est vraiment securise et un |plantage pick plante root en general donc ... +--------------- Helios plante l'avatar...
R12y
On Thu, 29 Dec 2005 14:00:07 -0800, Aniss wrote:
il serai aimable de m'informer, sinon me dire ou m'informer
Même si tu es préssé, personne ne te doit rien sur Internet. D'autant plus que tu as posté ton message un peu au hasard sur un peu tous les groupes de discussions qui contiennent le mot Linux, sans même avoir lu si la charte du groupe te permettait d'y poster ta question.
Ici c'est les débats. Sur fr.misc.bavardages.linux les questions techniques mérient un "plonk" (si si...). Tu n'as pas lu les chartes, alors ben... tu en récoltes les conséquences...
-- Telephone portable "intelligent" (SmartPhone) GSM, GPRS,... Il est sous Linux, ne coute pas trop cher,... http://www.it2l.com/product_info.php?cPath&products_idE6
On Thu, 29 Dec 2005 14:00:07 -0800, Aniss wrote:
il serai aimable de m'informer, sinon me
dire ou m'informer
Même si tu es préssé, personne ne te doit rien sur Internet.
D'autant plus que tu as posté ton message un peu au hasard sur un peu tous
les groupes de discussions qui contiennent le mot Linux, sans même avoir
lu si la charte du groupe te permettait d'y poster ta question.
Ici c'est les débats. Sur fr.misc.bavardages.linux les questions
techniques mérient un "plonk" (si si...). Tu n'as pas lu les chartes,
alors ben... tu en récoltes les conséquences...
--
Telephone portable "intelligent" (SmartPhone) GSM, GPRS,...
Il est sous Linux, ne coute pas trop cher,...
http://www.it2l.com/product_info.php?cPath&products_idE6
il serai aimable de m'informer, sinon me dire ou m'informer
Même si tu es préssé, personne ne te doit rien sur Internet. D'autant plus que tu as posté ton message un peu au hasard sur un peu tous les groupes de discussions qui contiennent le mot Linux, sans même avoir lu si la charte du groupe te permettait d'y poster ta question.
Ici c'est les débats. Sur fr.misc.bavardages.linux les questions techniques mérient un "plonk" (si si...). Tu n'as pas lu les chartes, alors ben... tu en récoltes les conséquences...
-- Telephone portable "intelligent" (SmartPhone) GSM, GPRS,... Il est sous Linux, ne coute pas trop cher,... http://www.it2l.com/product_info.php?cPath&products_idE6
Stéphane CARPENTIER
Aniss wrote:
je ne sais pas, si ce n'est pas un débat de m'aider à contourner ce problème, ça serai quoi? plein de gens aident les autres dans ce monde, j'ai besoin de votre aides tous, non pas de vos moquerie,
Désolé, ça m'a échappé. Il a parlé de diplômes bidons et je n'ai pas pu m'en empêcher. Mais ce n'est pas de toi que je me moquais.
j'ai rien fait, le temps presse, et il serai aimable de m'informer, sinon me dire ou m'informer
Sur le forum fr.comp.os.linux.configuration l'aide sera de meilleure qualité.
Stéphane
--
Pour me répondre, traduire gratuit en anglais et virer le .invalid. http://stef.carpentier.free.fr/
Aniss wrote:
je ne sais pas, si ce n'est pas un débat de m'aider à contourner ce
problème, ça serai quoi? plein de gens aident les autres dans ce
monde, j'ai besoin de votre aides tous, non pas de vos moquerie,
Désolé, ça m'a échappé. Il a parlé de diplômes bidons et je n'ai pas pu
m'en empêcher. Mais ce n'est pas de toi que je me moquais.
j'ai
rien fait, le temps presse, et il serai aimable de m'informer, sinon me
dire ou m'informer
Sur le forum fr.comp.os.linux.configuration l'aide sera de meilleure
qualité.
Stéphane
--
Pour me répondre, traduire gratuit en anglais et virer le .invalid.
http://stef.carpentier.free.fr/
je ne sais pas, si ce n'est pas un débat de m'aider à contourner ce problème, ça serai quoi? plein de gens aident les autres dans ce monde, j'ai besoin de votre aides tous, non pas de vos moquerie,
Désolé, ça m'a échappé. Il a parlé de diplômes bidons et je n'ai pas pu m'en empêcher. Mais ce n'est pas de toi que je me moquais.
j'ai rien fait, le temps presse, et il serai aimable de m'informer, sinon me dire ou m'informer
Sur le forum fr.comp.os.linux.configuration l'aide sera de meilleure qualité.
Stéphane
--
Pour me répondre, traduire gratuit en anglais et virer le .invalid. http://stef.carpentier.free.fr/
Stéphane CARPENTIER
Stéphane CARPENTIER wrote:
Aniss wrote:
j'ai rien fait, le temps presse, et il serai aimable de m'informer, sinon me dire ou m'informer
Sur le forum fr.comp.os.linux.configuration l'aide sera de meilleure qualité.
En plus, tu as déjà posté dessus. Et tu as eu des vraies réponses.
Stéphane
--
Pour me répondre, traduire gratuit en anglais et virer le .invalid. http://stef.carpentier.free.fr/
Stéphane CARPENTIER wrote:
Aniss wrote:
j'ai
rien fait, le temps presse, et il serai aimable de m'informer, sinon me
dire ou m'informer
Sur le forum fr.comp.os.linux.configuration l'aide sera de meilleure
qualité.
En plus, tu as déjà posté dessus. Et tu as eu des vraies réponses.
Stéphane
--
Pour me répondre, traduire gratuit en anglais et virer le .invalid.
http://stef.carpentier.free.fr/
j'ai rien fait, le temps presse, et il serai aimable de m'informer, sinon me dire ou m'informer
Sur le forum fr.comp.os.linux.configuration l'aide sera de meilleure qualité.
En plus, tu as déjà posté dessus. Et tu as eu des vraies réponses.
Stéphane
--
Pour me répondre, traduire gratuit en anglais et virer le .invalid. http://stef.carpentier.free.fr/
Aniss
merci Stéphane, merci tous de m'avoir déjà éclairci les idée, je ne suis pas pro dans les forums, excuser mon imprudence, mais c le stress qui me dévore, merci encore à tous, et ne vous énerver pas trop de moi, déjà je ne sais pas ou se trouve la charte d'un forum :) merci encore à tous le monde
merci Stéphane, merci tous de m'avoir déjà éclairci les idée, je
ne suis pas pro dans les forums, excuser mon imprudence, mais c le
stress qui me dévore, merci encore à tous, et ne vous énerver pas
trop de moi, déjà je ne sais pas ou se trouve la charte d'un forum :)
merci encore à tous le monde
merci Stéphane, merci tous de m'avoir déjà éclairci les idée, je ne suis pas pro dans les forums, excuser mon imprudence, mais c le stress qui me dévore, merci encore à tous, et ne vous énerver pas trop de moi, déjà je ne sais pas ou se trouve la charte d'un forum :) merci encore à tous le monde
stephane
On 2005-12-29, Aniss wrote:
je ne sais pas, si ce n'est pas un débat de m'aider à contourner ce problème, ça serai quoi? plein de gens aident les autres dans ce monde, j'ai besoin de votre aides tous, non pas de vos moquerie, j'ai rien fait, le temps presse, et il serai aimable de m'informer, sinon me dire ou m'informer
Peut etre en contactant le support technique (surement payant) de l'editeur.
-- http://www.unices.org Photos, humour et autres blogueries
On 2005-12-29, Aniss <Anis.memmi@gmail.com> wrote:
je ne sais pas, si ce n'est pas un débat de m'aider à contourner ce
problème, ça serai quoi? plein de gens aident les autres dans ce
monde, j'ai besoin de votre aides tous, non pas de vos moquerie, j'ai
rien fait, le temps presse, et il serai aimable de m'informer, sinon me
dire ou m'informer
Peut etre en contactant le support technique (surement payant) de
l'editeur.
--
http://www.unices.org Photos, humour et autres blogueries
je ne sais pas, si ce n'est pas un débat de m'aider à contourner ce problème, ça serai quoi? plein de gens aident les autres dans ce monde, j'ai besoin de votre aides tous, non pas de vos moquerie, j'ai rien fait, le temps presse, et il serai aimable de m'informer, sinon me dire ou m'informer
Peut etre en contactant le support technique (surement payant) de l'editeur.
-- http://www.unices.org Photos, humour et autres blogueries
Emmanuel Florac
Le Fri, 30 Dec 2005 01:36:18 +0100, Patrick Lamaizière a écrit :
Et oui :-(. On peut quand même booter sur une disquette (ou deux/trois) pour installer ? C'est le genre de truc que je continue à utiliser.
En général, on peut. Mais qui a encore des disquettes, sans parler des lecteurs?
-- Le travail est la malédiction des classes qui boivent. O. Wilde.
Le Fri, 30 Dec 2005 01:36:18 +0100, Patrick Lamaizière a écrit :
Et oui :-(. On peut quand même booter sur une disquette (ou deux/trois)
pour installer ? C'est le genre de truc que je continue à utiliser.
En général, on peut. Mais qui a encore des disquettes, sans parler des
lecteurs?
--
Le travail est la malédiction des classes qui boivent.
O. Wilde.
