1. Forum
  2. Usenet
  3. COMP.LANG.ADA

  • Un-installing GNAT

    From Sidney Reilley@21:1/5 to All on Sun Jun 12 12:13:28 2022
    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! **

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Luke A. Guest@21:1/5 to Simon Wright on Sun Jun 12 20:49:47 2022
    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.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Simon Wright@21:1/5 to Sidney Reilley on Sun Jun 12 20:31:54 2022
    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)

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Simon Wright@21:1/5 to Luke A. Guest on Sun Jun 12 21:53:20 2022
    "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 :-(

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Luke A. Guest@21:1/5 to Simon Wright on Mon Jun 13 00:38:11 2022
    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 / :)

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Rod Kay@21:1/5 to Luke A. Guest on Mon Jun 13 11:25:27 2022
    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

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Simon Wright@21:1/5 to Rod Kay on Mon Jun 13 08:40:55 2022
    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.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Sidney Reilley@21:1/5 to Sidney Reilley on Mon Jun 13 11:00:31 2022
    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

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)