From: Frank Buss <fb@frank-buss.de>
Subject: Re: question on installing gnat on linux mint
Date: Sun, 3 Sep 2017 12:17:34 +0200
Date: 2017-09-03T12:17:34+02:00 [thread overview]
Message-ID: <oogkru$7on$2@newsreader4.netcologne.de> (raw)
In-Reply-To: <oogkjn$7on$1@newsreader4.netcologne.de>
On 09/03/2017 12:13 PM, Frank Buss wrote:
>
> I wrote a script, /usr/bin/gnat, to run gps:
Correction: the script name is of course /usr/bin/gps
--
Frank Buss, http://www.frank-buss.de
electronics and more: http://www.youtube.com/user/frankbuss
prev parent reply other threads:[~2017-09-03 10:17 UTC|newest]
Thread overview: 3+ messages / expand[flat|nested] mbox.gz Atom feed top
2017-09-03 9:24 question on installing gnat on linux mint Nasser M. Abbasi
2017-09-03 10:13 ` Frank Buss
2017-09-03 10:17 ` Frank Buss [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox