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 .. -- sid ** Bottom-posting, text-only is the netiquette way! **
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)
On 12/06/2022 20:31, Simon Wright wrote:
>> How do I uninstall? TIA ..
>
> rm -rf $HOME/opt
Hope he doesn't have anything else in there he wants to keep.
"Luke A. Guest" <laguest@archeia.com> writes:
> On 12/06/2022 20:31, Simon Wright wrote:
>
>>> How do I uninstall? TIA ..
>> rm -rf $HOME/opt
>
> Hope he doesn't have anything else in there he wants to keep.
oops, sorry, OP :-(
On 12/06/2022 21:53, Simon Wright wrote:
> "Luke A. Guest" <laguest@archeia.com> writes:
>
>> On 12/06/2022 20:31, Simon Wright wrote:
>>
>>>> How do I uninstall? TIA ..
>>> rm -rf $HOME/opt
>>
>> Hope he doesn't have anything else in there he wants to keep.
>
> oops, sorry, OP :-(
rm -rf / :)
On 13/6/22 09:38, Luke A. Guest wrote:
> On 12/06/2022 21:53, Simon Wright wrote:
>> "Luke A. Guest" <laguest@archeia.com> writes:
>>
>>> On 12/06/2022 20:31, Simon Wright wrote:
>>>
>>>>> How do I uninstall? TIA ..
>>>> rm -rf $HOME/opt
>>>
>>> Hope he doesn't have anything else in there he wants to keep.
>>
>> oops, sorry, OP :-(
>
> rm -rf / :)
sudo rm -fr / :D
Rod Kay <rodakay5@gmail.com> writes:
> On 13/6/22 09:38, Luke A. Guest wrote:
>> On 12/06/2022 21:53, Simon Wright wrote:
>>> "Luke A. Guest" <laguest@archeia.com> writes:
>>>
>>>> On 12/06/2022 20:31, Simon Wright wrote:
>>>>
>>>>>> How do I uninstall? TIA ..
>>>>> rm -rf $HOME/opt
>>>>
>>>> Hope he doesn't have anything else in there he wants to keep.
>>>
>>> oops, sorry, OP :-(
>> rm -rf / :)
>
> sudo rm -fr / :D
I was once in /other-volume & wanted to rm -rf bin; typed rm -rf /bin
(must've been logged in as root); long session restoring the Sun
workstation's /bin from tape. Fortunately all our work was on
/another-volume.
On Sun, 12 Jun 2022 12:13:28 -0600
Sidney Reilley <sidney.reilley.ii@gmail.com> wrote:
> 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 ..
@Luke, @Simon, @Rod
LOL! Maybe a noob to Ada, but /not/ to Linux! :-)
Thx all for the input!!
--
Sid