From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM autolearn=ham autolearn_force=no version=3.4.4 X-Google-Thread: 103376,29ae1e3233992947,start X-Google-NewGroupId: yes X-Google-Attributes: gida07f3367d7,domainid0,public,usenet X-Google-Language: ENGLISH,UTF8 Received: by 10.204.13.69 with SMTP id b5mr1644308bka.4.1334161876382; Wed, 11 Apr 2012 09:31:16 -0700 (PDT) Path: h15ni111948bkw.0!nntp.google.com!news2.google.com!goblin3!goblin1!goblin2!goblin.stu.neva.ru!aioe.org!.POSTED!not-for-mail From: =?utf-8?Q?Yannick_Duch=C3=AAne_=28Hibou57?= =?utf-8?Q?=29?= Newsgroups: comp.lang.ada Subject: Integration issues with GNAT GPS in Ubuntu Date: Wed, 11 Apr 2012 18:31:14 +0200 Organization: Ada @ Home Message-ID: NNTP-Posting-Host: F7hvUm0HtBaPdnJfcv4pPw.user.speranza.aioe.org Mime-Version: 1.0 X-Complaints-To: abuse@aioe.org User-Agent: Opera Mail/11.62 (Linux) X-Notice: Filtered by postfilter v. 0.8.2 Content-Type: text/plain; charset=utf-8; format=flowed; delsp=yes Content-Transfer-Encoding: Quoted-Printable Date: 2012-04-11T18:31:14+02:00 List-Id: Hi, Just installed GPS in Ubuntu, late, as I usually use something else. I encountered an integration issue, and seems the bug http://www.mail-archive.com/debian-bugs-dist@lists.debian.org/msg774486.= html is still there I had to manually create the desktop file. And by the way, there seems t= o = be no file type for GPR files neither. How to solve, locally (not system wide): In =E2=80=9C~/.local/mime/packages=E2=80=9D create a file named =E2=80=9C= gnat-project.xml=E2=80=9D, edit = to give it this content: GNAT Project Projet GNAT That's the file type definition for GNAT project files. Copy =E2=80=9C/usr/share/gps/icons/48px/gps_48.png=E2=80=9D to = =E2=80=9C~/.local/share/icons/xxx/gnat-gps.png=E2=80=9D where =E2=80=9Cx= xx=E2=80=9D is your active local = icon set subdirectory (if you have one). In =E2=80=9C~/.local/share/applications=E2=80=9D, create a file =E2=80=9C= gnat-gps.desktop=E2=80=9D, whose = content is similar to the one suggested in the above ling, with tiny = variations: [Desktop Entry] Name=3DGNAT GPS Comment=3DThe GNAT Programming System Comment[ca]=3DSistema de programaci=C3=B3 de GNAT Comment[fr]=3DEnvironnement de Programmation GNAT Exec=3D/usr/bin/gnat-gps Icon=3Dgnat-gps MimeType=3Dapplication/x-gnat-project; Terminal=3Dfalse Type=3DApplication Categories=3DDevelopment; StartupNotify=3Dtrue That's the menu entry definition and MIME=E2=80=91type application assoc= iation. From a console, run the following commands: update-mime-database ~/.local/share/mime update-menus That will update your environment. GNAT GPR files should display with the GNAT GPS icons, should run GPS wh= en = you click on, and a menu entry for GPS should have appeared in your = Applications menu. -- = =E2=80=9CSyntactic sugar causes cancer of the semi-colons.=E2=80=9D [1] =E2=80=9CStructured Programming supports the law of the excluded muddle.= =E2=80=9D [1] [1]: Epigrams on Programming =E2=80=94 Alan J. =E2=80=94 P. Yale Univers= ity