3 ms·
$HOME/.local is the equivalent if /usr/local for per-user stuff.
by megous 5y ago
$HOME/.local is the equivalent if /usr/local for per-user stuff.
- mananaysiempre 5y agoI don’t think there’s any “official” word on that (the XDG spec that defines ~/.local/share doesn’t mention ~/.local/{bin,lib} IIRC, and the traditional per-user entry in PATH seems to be ~/bin), but a fair number of people use it this way, yes, including me.