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
On Mon, 02 Jan 2006 09:09:16 +0100 Patrice Karatchentzeff wrote:
Même si tu es préssé, personne ne te doit rien sur Internet. Surtout qu'ici, on n'est pas sur Internet :)
Mince, à quoi suis-je branché, alors?
Ici, sur Usenet assurément.
Je ne savais pas que Usenet avait des routeurs et des câbles séparés d'internet... Je découvre des choses!
Plus sérieusement, je pense que tu confonds internet et le web. Et, pour le coup, le web est effectivement bien distinct des news, du mail, etc, qui passent pourtant tous par internet.
On Mon, 02 Jan 2006 09:09:16 +0100
Patrice Karatchentzeff <p.karatchentzeff@free.fr> wrote:
Même si tu es préssé, personne ne te doit rien sur Internet.
Surtout qu'ici, on n'est pas sur Internet :)
Mince, à quoi suis-je branché, alors?
Ici, sur Usenet assurément.
Je ne savais pas que Usenet avait des routeurs et des câbles séparés
d'internet... Je découvre des choses!
Plus sérieusement, je pense que tu confonds internet et le web. Et,
pour le coup, le web est effectivement bien distinct des news, du mail,
etc, qui passent pourtant tous par internet.
On Mon, 02 Jan 2006 09:09:16 +0100 Patrice Karatchentzeff wrote:
Même si tu es préssé, personne ne te doit rien sur Internet. Surtout qu'ici, on n'est pas sur Internet :)
Mince, à quoi suis-je branché, alors?
Ici, sur Usenet assurément.
Je ne savais pas que Usenet avait des routeurs et des câbles séparés d'internet... Je découvre des choses!
Plus sérieusement, je pense que tu confonds internet et le web. Et, pour le coup, le web est effectivement bien distinct des news, du mail, etc, qui passent pourtant tous par internet.
À ce moment-là, autant faire « find / -type f -exec cp /dev/null {} ; » qui lui a le mérite de marcher.
-- Olivier Beyssac -
Mike Massonnet
Jérémy JUST wrote:
On Mon, 02 Jan 2006 09:09:16 +0100 Patrice Karatchentzeff wrote:
Même si tu es préssé, personne ne te doit rien sur Internet. Surtout qu'ici, on n'est pas sur Internet :)
Mince, à quoi suis-je branché, alors?
Ici, sur Usenet assurément.
Je ne savais pas que Usenet avait des routeurs et des câbles séparés d'internet... Je découvre des choses!
Plus sérieusement, je pense que tu confonds internet et le web. Et, pour le coup, le web est effectivement bien distinct des news, du mail, etc, qui passent pourtant tous par internet.
Sauf que "ici" on discute pas sur Internet, mais sur USENET. Je l'ai compris comme ça.
-- ~#{[^_^]}#~
Jérémy JUST wrote:
On Mon, 02 Jan 2006 09:09:16 +0100
Patrice Karatchentzeff <p.karatchentzeff@free.fr> wrote:
Même si tu es préssé, personne ne te doit rien sur Internet.
Surtout qu'ici, on n'est pas sur Internet :)
Mince, à quoi suis-je branché, alors?
Ici, sur Usenet assurément.
Je ne savais pas que Usenet avait des routeurs et des câbles séparés
d'internet... Je découvre des choses!
Plus sérieusement, je pense que tu confonds internet et le web. Et,
pour le coup, le web est effectivement bien distinct des news, du mail,
etc, qui passent pourtant tous par internet.
Sauf que "ici" on discute pas sur Internet, mais sur USENET. Je l'ai compris
comme ça.
On Mon, 02 Jan 2006 09:09:16 +0100 Patrice Karatchentzeff wrote:
Même si tu es préssé, personne ne te doit rien sur Internet. Surtout qu'ici, on n'est pas sur Internet :)
Mince, à quoi suis-je branché, alors?
Ici, sur Usenet assurément.
Je ne savais pas que Usenet avait des routeurs et des câbles séparés d'internet... Je découvre des choses!
Plus sérieusement, je pense que tu confonds internet et le web. Et, pour le coup, le web est effectivement bien distinct des news, du mail, etc, qui passent pourtant tous par internet.
Sauf que "ici" on discute pas sur Internet, mais sur USENET. Je l'ai compris comme ça.
-- ~#{[^_^]}#~
Mike Massonnet
Olivier Beyssac wrote:
"" writes:
On 2005-12-30, Nicolas George <nicolas$ wrote:
find / -exec echo 1 > {} ;
C'est censé faire quoi ?
Faire un peu de place pour installer Java
À ce moment-là, autant faire « find / -type f -exec cp /dev/null {} ; » qui lui a le mérite de marcher.
Mais il ne fait pas gagner de la place. Néanmoins par rapport à d'autres systèmes non-unix-like ça reste puissant (my in-charte way + mes 2 sous).
À ce moment-là, autant faire « find / -type f -exec cp /dev/null {} ; » qui lui a le mérite de marcher.
Mais il ne fait pas gagner de la place. Néanmoins par rapport à d'autres systèmes non-unix-like ça reste puissant (my in-charte way + mes 2 sous).
-- ~#{[^_^]}#~
Michel Billaud
Franck Yvonnet writes:
Ainsi Parlait
On 2005-12-29, Aniss wrote:
Bonjour , Je suis un étudiant en Mastère informatique, je travaille sur la
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 ?
Emmanuel est en vacances, profitons-en pour respecter la charte :-)
MB -- Michel BILLAUD LABRI-Université Bordeaux I tel 05 4000 6922 / 05 5684 5792 351, cours de la Libération http://www.labri.fr/~billaud 33405 Talence (FRANCE)
Franck Yvonnet <fyvonnet@gmail.com> writes:
Ainsi Parlait stephane@unices.org <stephane@unices.org>
On 2005-12-29, Aniss <Anis.memmi@gmail.com> wrote:
Bonjour ,
Je suis un étudiant en Mastère informatique, je travaille sur la
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 ?
Emmanuel est en vacances, profitons-en pour respecter la charte :-)
MB
--
Michel BILLAUD billaud@labri.fr
LABRI-Université Bordeaux I tel 05 4000 6922 / 05 5684 5792
351, cours de la Libération http://www.labri.fr/~billaud
33405 Talence (FRANCE)
Bonjour , Je suis un étudiant en Mastère informatique, je travaille sur la
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 ?
Emmanuel est en vacances, profitons-en pour respecter la charte :-)
MB -- Michel BILLAUD LABRI-Université Bordeaux I tel 05 4000 6922 / 05 5684 5792 351, cours de la Libération http://www.labri.fr/~billaud 33405 Talence (FRANCE)
