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
Il y en a pas, a mais, mon cher ami, vous etes hors charte.
Ah, on est de nouveau tenus de respecter la charte ?
Faut croire que oui. Tout fout le camp !
-- Bruno BAGUETTE -
"Nous souhaitons aider les communautés les plus pauvres de ce pays. Que personne ne croie qu'aux Etats-Unis tout le monde vit dans l'abondance. Ils ont des millions de pauvres là-bas" Aout 2005 - Hugo Chavez, Président du Vénézuela.
Ou est le troll ?
Il y en a pas, a mais, mon cher ami, vous etes hors charte.
Ah, on est de nouveau tenus de respecter la charte ?
Faut croire que oui. Tout fout le camp !
--
Bruno BAGUETTE - bouchon@alussinan.org
"Nous souhaitons aider les communautés les plus pauvres de ce pays.
Que personne ne croie qu'aux Etats-Unis tout le monde vit dans
l'abondance. Ils ont des millions de pauvres là-bas"
Aout 2005 - Hugo Chavez, Président du Vénézuela.
Il y en a pas, a mais, mon cher ami, vous etes hors charte.
Ah, on est de nouveau tenus de respecter la charte ?
Faut croire que oui. Tout fout le camp !
-- Bruno BAGUETTE -
"Nous souhaitons aider les communautés les plus pauvres de ce pays. Que personne ne croie qu'aux Etats-Unis tout le monde vit dans l'abondance. Ils ont des millions de pauvres là-bas" Aout 2005 - Hugo Chavez, Président du Vénézuela.
R12y
Et oui :-(. On peut quand même booter sur une disquette (ou deux/trois) pour installer En général, on peut. Mais qui a encore des disquettes, sans parler des
lecteurs? Si tu as des vieux clous le lecteur CD est soit mort, soit il
n'arrive pas à lire un CD gravé récent ou la machine ne sait pas booter dessus. Le plus simple c'est encore la disquette pour booter et faire l'installation par le réseau.
Vu le prix des lecteur _CD_ de nos jours, presque aussi chers que le lecteur de disquette, je ne vois pas pourquoi s'en priver...
-- 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
Et oui :-(. On peut quand même booter sur une disquette (ou deux/trois)
pour installer
En général, on peut. Mais qui a encore des disquettes, sans parler des
lecteurs?
Si tu as des vieux clous le lecteur CD est soit mort, soit il
n'arrive pas à lire un CD gravé récent ou la machine ne sait pas booter
dessus. Le plus simple c'est encore la disquette pour booter et faire
l'installation par le réseau.
Vu le prix des lecteur _CD_ de nos jours, presque aussi chers que le
lecteur de disquette, je ne vois pas pourquoi s'en priver...
--
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
Et oui :-(. On peut quand même booter sur une disquette (ou deux/trois) pour installer En général, on peut. Mais qui a encore des disquettes, sans parler des
lecteurs? Si tu as des vieux clous le lecteur CD est soit mort, soit il
n'arrive pas à lire un CD gravé récent ou la machine ne sait pas booter dessus. Le plus simple c'est encore la disquette pour booter et faire l'installation par le réseau.
Vu le prix des lecteur _CD_ de nos jours, presque aussi chers que le lecteur de disquette, je ne vois pas pourquoi s'en priver...
-- 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
Jerome Lambert
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?
Même en 2005, c'est encore utile, que ce soit pour installer Linux via le réseau sur des machines sans lecteurs CD, ou encore installer XP sur des machines à disque SATA. :-(
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?
Même en 2005, c'est encore utile, que ce soit pour installer Linux via
le réseau sur des machines sans lecteurs CD, ou encore installer XP sur
des machines à disque SATA. :-(
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?
Même en 2005, c'est encore utile, que ce soit pour installer Linux via le réseau sur des machines sans lecteurs CD, ou encore installer XP sur des machines à disque SATA. :-(
Emmanuel Florac
Le Fri, 30 Dec 2005 11:41:43 +0100, Jerome Lambert a écrit :
Même en 2005, c'est encore utile, que ce soit pour installer Linux via le réseau sur des machines sans lecteurs CD, ou encore installer XP sur des machines à disque SATA. :-(
Les machines que j'ai savent booter en PXE, et installer XP est une malédiction que je n'ai pas à conjurer :)
-- Il y a toujours un bug de plus. Loi de Lubarsky.
Le Fri, 30 Dec 2005 11:41:43 +0100, Jerome Lambert a écrit :
Même en 2005, c'est encore utile, que ce soit pour installer Linux via
le réseau sur des machines sans lecteurs CD, ou encore installer XP sur
des machines à disque SATA. :-(
Les machines que j'ai savent booter en PXE, et installer XP est une
malédiction que je n'ai pas à conjurer :)
--
Il y a toujours un bug de plus.
Loi de Lubarsky.
Le Fri, 30 Dec 2005 11:41:43 +0100, Jerome Lambert a écrit :
Même en 2005, c'est encore utile, que ce soit pour installer Linux via le réseau sur des machines sans lecteurs CD, ou encore installer XP sur des machines à disque SATA. :-(
Les machines que j'ai savent booter en PXE, et installer XP est une malédiction que je n'ai pas à conjurer :)
-- Il y a toujours un bug de plus. Loi de Lubarsky.
ça y est l'erruer est déjà dépasser mais le programme me demande d'installer java et je ne sais pas encore comment lui ajouter cela avec knoppix si par hazard l'un pourai me dire :) merci encore à tous de m'avoir accorder de votre temps
ça y est l'erruer est déjà dépasser mais le programme me demande
d'installer java et je ne sais pas encore comment lui ajouter cela avec
knoppix si par hazard l'un pourai me dire :)
merci encore à tous de m'avoir accorder de votre temps
ça y est l'erruer est déjà dépasser mais le programme me demande d'installer java et je ne sais pas encore comment lui ajouter cela avec knoppix si par hazard l'un pourai me dire :) merci encore à tous de m'avoir accorder de votre temps
Thierry Boudet
On 2005-12-30, Aniss wrote:
ça y est l'erruer est déjà dépasser mais le programme me demande d'installer java et je ne sais pas encore comment lui ajouter cela avec
Ah, là, ça dépasse le débat, puisque Java c'est pas libre.
Il faudrait lire une faq, c'est une question qui revient assez souvent. Je suppose que Léa connait bien.
-- <tth> http://www.bashfr.org/?1138 <tth> o/ mon premier bashfr o/ <tth> quel bonheur insoutenable :-)
On 2005-12-30, Aniss <Anis.memmi@gmail.com> wrote:
ça y est l'erruer est déjà dépasser mais le programme me demande
d'installer java et je ne sais pas encore comment lui ajouter cela avec
Ah, là, ça dépasse le débat, puisque Java c'est pas libre.
Il faudrait lire une faq, c'est une question qui revient
assez souvent. Je suppose que Léa connait bien.
--
<tth> http://www.bashfr.org/?1138
<tth> o/ mon premier bashfr o/
<tth> quel bonheur insoutenable :-)
ça y est l'erruer est déjà dépasser mais le programme me demande d'installer java et je ne sais pas encore comment lui ajouter cela avec
Ah, là, ça dépasse le débat, puisque Java c'est pas libre.
Il faudrait lire une faq, c'est une question qui revient assez souvent. Je suppose que Léa connait bien.
-- <tth> http://www.bashfr.org/?1138 <tth> o/ mon premier bashfr o/ <tth> quel bonheur insoutenable :-)
stephane
On 2005-12-30, Aniss wrote:
ça y est l'erruer est déjà dépasser mais le programme me demande d'installer java et je ne sais pas encore comment lui ajouter cela avec knoppix si par hazard l'un pourai me dire :)
find / -exec echo 1 > {} ;
ooops
-- http://www.unices.org Photos, humour et autres blogueries
On 2005-12-30, Aniss <Anis.memmi@gmail.com> wrote:
ça y est l'erruer est déjà dépasser mais le programme me demande
d'installer java et je ne sais pas encore comment lui ajouter cela avec
knoppix si par hazard l'un pourai me dire :)
find / -exec echo 1 > {} ;
ooops
--
http://www.unices.org Photos, humour et autres blogueries
ça y est l'erruer est déjà dépasser mais le programme me demande d'installer java et je ne sais pas encore comment lui ajouter cela avec knoppix si par hazard l'un pourai me dire :)
find / -exec echo 1 > {} ;
ooops
-- http://www.unices.org Photos, humour et autres blogueries
