Contenu | Rechercher | Menus

Annonce

Ubuntu-fr.org recrute toujours de nouveaux modérateurs, avec de l'expérience.

Ubuntu 16.04 LTS
Commandez vos DVD et clés USB Ubuntu-fr !

Si vous avez des soucis pour rester connecté, déconnectez-vous puis reconnectez-vous depuis ce lien en cochant la case
Me connecter automatiquement lors de mes prochaines visites.

#1 Le 01/03/2013, à 14: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, à 14: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
Domotego : boutique dédiée à la domotique DIY - https://www.domotego.com
Consultant informatique indépendant - Geek et tout plein d'autres choses

Hors ligne

#3 Le 01/03/2013, à 18: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, à 18: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)


- Laptop : ASUS N56VV (Core i5-3230M @ 2.60GHz, Intel HD4000 + GeForce 750M, 12 Go de RAM, HDD 750 Go 7200 RPM, Windows 10)
- Desktop : Asus B85M-G C2 (Pentium G-3258 @ 3.2 Ghz, MSI GeForce GTX 950 OC, 8 Go de RAM, SSD 1 To, Windows 10)

Hors ligne