On 24 Sep 2023 13:05 -0400, from d...@randomstring.org (Dan Ritter): > Set it in /etc/profile, which probably has this in it:
I would rather suggest a separate script in /etc/profile.d to either add to or replace the contents of $PATH. If I'm reading /etc/profile right, *.sh in that directory are executed in lexicographic order right at the end. -- Michael Kjörling 🔗 https://michael.kjorling.se “Remember when, on the Internet, nobody cared that you were a dog?”