@aral why the "."?
I normally put those utilities under $HOME/bin and I have a $HOME/local for more complex tools (needing config and so on) basically the same as "/usr/local" but only for this user
Embed Notice
HTML Code
Corresponding Notice
- Embed this notice
Raul Portales (sh41@androiddev.social)'s status on Thursday, 30-May-2024 20:17:24 JSTRaul Portales