From: Simon Wright <simon@pushface.org>
Subject: Re: Un-installing GNAT
Date: Sun, 12 Jun 2022 20:31:54 +0100 [thread overview]
Message-ID: <lybkuxznit.fsf@pushface.org> (raw)
In-Reply-To: 20220612121328.4178b106720d468f06f2d22c@gmail.com
Sidney Reilley <sidney.reilley.ii@gmail.com> writes:
> I DLed "gnat-2021-20210519-x86_64-linux-bin"
> onto my Linux distro box.
>
> It's installed in $HOME/opt/....
>
> How do I uninstall? TIA ..
rm -rf $HOME/opt
(and check your shell initialization scripts, not that a missing
directory will slow things down much)
next prev parent reply other threads:[~2022-06-12 19:31 UTC|newest]
Thread overview: 8+ messages / expand[flat|nested] mbox.gz Atom feed top
2022-06-12 18:13 Un-installing GNAT Sidney Reilley
2022-06-12 19:31 ` Simon Wright [this message]
2022-06-12 19:49 ` Luke A. Guest
2022-06-12 20:53 ` Simon Wright
2022-06-12 23:38 ` Luke A. Guest
2022-06-13 1:25 ` Rod Kay
2022-06-13 7:40 ` Simon Wright
2022-06-13 17:00 ` Sidney Reilley
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox