I have a
$HOME. This contains some augmented versions of common commands. Hence, I don't want these commands to be used by scripts, but only to be used in interactive use.
Is the best I can do to add
for f in ~/bin/* do alias "$(basename $f)"="$f" done
~/.bash_profile? Or is there another solution?