Re: Integration issues with GNAT GPS in Ubuntu

["Yannick Duchêne (Hibou57)" <yannick_duchene@yahoo.fr>]

Le Wed, 11 Apr 2012 18:49:34 +0200, Yannick Duchêne (Hibou57)  
<yannick_duchene@yahoo.fr> a écrit:

> Le Wed, 11 Apr 2012 18:31:14 +0200, Yannick Duchêne (Hibou57)  
> <yannick_duchene@yahoo.fr> a écrit:
>
>>  From a console, run the following commands:
>>
>>     update-mime-database ~/.local/share/mime
>>     update-menus
>
> Sorry, one was missing:
>
>     update-desktop-database ~/.local
>
> Without this one, GPS won't be invoked when you click on a project file.

Still not perfect, as you may have noticed.

Create a file named “open-gnat-project”, and give it this content:

    #!/bin/sh
    gnat-gps "-P$1" &

move it in you “~/bin” directory and give it the executable attribute.

In the previously suggested “gnat-gps.desktop” file, change

    Exec=/usr/bin/gnat-gps

into

    Exec=open-gnat-project

Then run again from a terminal

    update-desktop-database ~/.local
    update-menus

Now GPS will open on you project when you click on a project file, instead  
of opening with a dialog requesting you to browse for a project file. More  
handy.

-- 
“Syntactic sugar causes cancer of the semi-colons.” [1]
“Structured Programming supports the law of the excluded muddle.” [1]
[1]: Epigrams on Programming — Alan J. — P. Yale University