Contenu | Rechercher | Menus

Annonce

Si vous rencontrez des soucis à rester connecté sur le forum (ou si vous avez perdu votre mot de passe) déconnectez-vous et reconnectez-vous depuis cette page, en cochant la case "Me connecter automatiquement lors de mes prochaines visites". Attention, le forum rencontre actuellement quelques difficultés. En cas d'erreur 502, il ne faut pas re-valider l'envoi d'un message ou l'ouverture d'une discussion, au risque de créer un doublon.

La section divers se réorganise ! De nouvelles sous-sections à venir. (plus d'infos + donner son avis)

#1 Le 01/03/2013, à 13:30

Glorfi

Onglet outils et développement non accessible dans le menu démarrer

Bonjour,

Je viens d'installer Frama-c (compilateur de language C) et celui-ci s'est installé dans l'onglet outils et développement qui n'est pas accessible dans le menu démarrer hmm
J'ai essayé de l'exécuter via : "executer un programme" en écrivant : frama-c, mais rien ne se passe ...
Un petit coup de main serait le bien venu smile

Damien

Hors ligne

#2 Le 01/03/2013, à 13:59

tiramiseb

Re : Onglet outils et développement non accessible dans le menu démarrer

Salut,

Je viens d'installer Frama-c (compilateur de language C)

Frama-C n'est pas un compilateur, c'est un framework d'analyse de code source smile

J'ai essayé de l'exécuter via : "executer un programme" en écrivant : frama-c, mais rien ne se passe ...

La commande pour lancer Frama-C est :

frama-c-gui

Sébastien Maccagnoni-Munch - administrateur Linux depuis le XXe siècle
Consultant informatique indépendant - http://www.smm-informatique.fr
Geek et tout plein d'autres choses - http://www.tiramiseb.fr

Hors ligne

#3 Le 01/03/2013, à 17:11

Glorfi

Re : Onglet outils et développement non accessible dans le menu démarrer

Aaaah super ça fonctionne smile

Merci tiramiseb!

Hors ligne

#4 Le 01/03/2013, à 17:35

The Uploader

Re : Onglet outils et développement non accessible dans le menu démarrer

Salut

Y'a un menu démarrer dans Xfce ? tongue

Si tu n'as pas frama-c-gui dans le menu des applications, tu peux rajouter ce texte dans ~/.local/share/applications/frama-c-gui.desktop :

[Desktop Entry]
Encoding=UTF-8
Type=Application
Icon=application-default-icon
Name=Frama-C
Comment=framework d'analyse de code source
Terminal=false
StartupNotify=false
Exec=frama-c-gui
Categories=Application;Development;

(le dossier ~/.local/share/applications/ est à créer s'il n'existe pas)


Passer de Ubuntu 10.04 à Xubuntu 12.04 LTS
ASUS N56VV (UEFI + GPT, Core i5-3230M @ 2.60GHz, Intel HD4000 + GeForce 750M, 12 Go de RAM, SSD 1 To)
Système principal : Archlinux (amd64), avec KDE 4
Système oublié la plupart du temps : Windows 8.1 Update 1 (x64, OEM)

Hors ligne

  • Accueil
  • » Forum
  • » XFCE
  • » Onglet outils et développement non accessible dans le menu démarrer

Haut de page ↑