Re: terminal and vim as external editor

--===============6972431474072650229==
Content-Type: multipart/signed; micalg=PGP-SHA1;
 boundary="Sig_/SBKyyKz4piIB08OSPLnjhco"; protocol="application/pgp-signature"

--Sig_/SBKyyKz4piIB08OSPLnjhco
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: quoted-printable

On Wed, 10 Jul 2013 17:16:17 +0200
Gour <[email protected]> wrote:

> b) I set Vim as external editor, but it does not launch? Any hint?

Found solution to the above one:

http://ada.krischik.com/index.php/VIM/GNATProgrammingSystem


This is fine now.

> Sincerely,
> Gour


--=20
The humble sages, by virtue of true knowledge, see with equal=20
vision a learned and gentle br=C4=81hmana, a cow, an elephant, a dog=20
and a dog-eater.

http://www.atmarama.net | Hlapicina (Croatia) | GPG: 52B5C810

--Sig_/SBKyyKz4piIB08OSPLnjhco
Content-Type: application/pgp-signature; name=signature.asc
Content-Disposition: attachment; filename=signature.asc

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)

iQIcBAEBAgAGBQJR3XymAAoJELhxXPVStcgQnOUP/i64WGKkmZfGbBEmjddA0/NT
vG5kEj6FEOR29XrWFMKDRA+SFn/2ExU6q3JcHeqqiXlypNExo/xU4YTEsWKHb1HW
GxgXg1zj5c30G1NY3CAiALcUyFwReqUZHrEisJawJ5MjY22fRIh0OnrjxJ9ucCP0
kkDv2rtKPaoYeLGnxd+H+I5dWPOiBmOT1QcM0an8QRgxRmCvoe5BzmG1EigI90ot
1noQD0ifPa4xUKNuuRbnB1/sy40nf4782uqDBsfo86Z9pEEjaUtP5tuhJ3RAtBqh
g+9csjhCLzwfyTRczkgw1z7Xonek6uV5gOmudiyv85BKByxgizXO6P+tYmKoEOsp
iQRRSk6i7dfNN/J10DrU4jIRFY7T77IeDZqf8JgAbvhtd+0o4Nc7xRApRUIFWsl5
KIVNWiUYJUbXiU0LvQZhEQupJKhAQ8ByyYvdu6Y51g0P56MAl6PwxCTlEZ+U4YYK
nN+93ePiSKyj8mjvZtPEBRMFQvQnzxRxLaf09CblfK0jJEOP4DyG1h13RRF2gaQd
XqDqe2pnD/nx1vYBQVOUGX0bBEJnwBnrnOJwOpfAfxwtcAOCeK4E5Ne8uKnZ9CPP
2J1jXuWx9tD16IrdiVUIDI1iRndEsWBDg4OTcoGr/sFjgrv7nrM4eOuSHCnXi3gK
UmzRfSAW6q2BkqhArACB
=J5jb
-----END PGP SIGNATURE-----

--Sig_/SBKyyKz4piIB08OSPLnjhco--

--===============6972431474072650229==
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline

_______________________________________________
gps-users mailing list
[email protected]
http://lists.adacore.com/mailman/listinfo/gps-users

--===============6972431474072650229==--