• 30p87@feddit.de
    link
    fedilink
    arrow-up
    15
    ·
    7 months ago

    Isn’t ~/.local for such manually installed stuff, like /usr/local instead of /usr?

    • atzanteol@sh.itjust.works
      link
      fedilink
      English
      arrow-up
      4
      arrow-down
      1
      ·
      7 months ago

      .local is a pretty recent convention for somebody who has used BeOS.

      I long ago just created $HOME/bin and added it to my path. And it works when I compile things with “–prefix=$HOME”.

        • atzanteol@sh.itjust.works
          link
          fedilink
          English
          arrow-up
          2
          ·
          7 months ago

          Nice, other distros may do it now too. It’s been a part of my .bash_local for so long I wouldn’t notice…

          • theshatterstone54
            link
            fedilink
            arrow-up
            1
            ·
            7 months ago

            Any reason why yould have it in .bash_local over .bashrc? I use zsh but even when I used bash or fish, I’d add to my $PATH via .bashrc and config.fish respectively.

            • atzanteol@sh.itjust.works
              link
              fedilink
              English
              arrow-up
              1
              ·
              edit-2
              7 months ago

              Just to simplify things when I use lots of Linux distros that create different default .bashrc files. Makes it easier to distribute via ansible this way. No other reason really.