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

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