Puesto al día el 11 de junio de 2025.
mkdir ~/bin
nano ~/.bashrc
## HOME/bin ##
if [ -d "$HOME/bin" ] ;
then
export PATH="$HOME/bin:$PATH"
fi
chmod +x ~/bin/*
bash
el archivo .bashrc se aplica para «non-login shells» y .bash_profile, para «login shells».