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
À 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.
Heu, si, pourquoi ?
Bon allez,
rm -rf /
en root, ca fait gagner BCP de place.
Je vais pour le rm -rf , mais une copie vers /dev/null ne fait pas gagner de place.
-- ~#{[^_^]}#~
Jérémy JUST
On Mon, 02 Jan 2006 14:35:56 +0100 Mike Massonnet wrote:
Même si tu es préssé, personne ne te doit rien sur Internet. Surtout qu'ici, on n'est pas sur Internet :)
Sauf que "ici" on discute pas sur Internet, mais sur USENET. Je l'ai compris comme ça.
Ça ressemblait plutôt à:
« Vous avez fait bonne route? -- Non, j'ai pris l'autoroute. »
Mais, bon, je pense que l'essentiel du débat n'était pas de savoir si dire qu'on passe par internet pour utiliser Usenet était une petite approximation ou une erreur digne des plus cruels châtiments.
-- Jérémy JUST
On Mon, 02 Jan 2006 14:35:56 +0100
Mike Massonnet <mykey57at@free.ru> wrote:
Même si tu es préssé, personne ne te doit rien sur Internet.
Surtout qu'ici, on n'est pas sur Internet :)
Sauf que "ici" on discute pas sur Internet, mais sur USENET. Je l'ai
compris comme ça.
Ça ressemblait plutôt à:
« Vous avez fait bonne route?
-- Non, j'ai pris l'autoroute. »
Mais, bon, je pense que l'essentiel du débat n'était pas de savoir si
dire qu'on passe par internet pour utiliser Usenet était une petite
approximation ou une erreur digne des plus cruels châtiments.
On Mon, 02 Jan 2006 14:35:56 +0100 Mike Massonnet wrote:
Même si tu es préssé, personne ne te doit rien sur Internet. Surtout qu'ici, on n'est pas sur Internet :)
Sauf que "ici" on discute pas sur Internet, mais sur USENET. Je l'ai compris comme ça.
Ça ressemblait plutôt à:
« Vous avez fait bonne route? -- Non, j'ai pris l'autoroute. »
Mais, bon, je pense que l'essentiel du débat n'était pas de savoir si dire qu'on passe par internet pour utiliser Usenet était une petite approximation ou une erreur digne des plus cruels châtiments.
-- Jérémy JUST
stephane
On 2006-01-02, Mike Massonnet wrote:
À ce moment-là, autant faire « find / -type f -exec cp /dev/null {} ; Je vais pour le rm -rf ,
mais une copie vers /dev/null ne fait pas gagner de place.
C'est pas une copie "vers", c'est une copie "de"
-- http://www.unices.org Photos, humour et autres blogueries
On 2006-01-02, Mike Massonnet <mykey57at@free.ru> wrote:
À ce moment-là, autant faire « find / -type f -exec cp /dev/null {} ;
Je vais pour le rm -rf ,
mais une copie vers /dev/null ne fait pas gagner de place.
C'est pas une copie "vers", c'est une copie "de"
--
http://www.unices.org Photos, humour et autres blogueries
