On 5/13/24 6:37 AM, Matheus Afonso Martins Moreira wrote:
Define a build time configurable default value for the new BASH_SOURCE_PATH variable. Look for libraries in the user's home directory as well as the system wide directories.
I don't like bash providing a default for this when bash doesn't install any `libraries'. Maybe it would be better to let it be something the builder or distro defines. -- ``The lyf so short, the craft so long to lerne.'' - Chaucer ``Ars longa, vita brevis'' - Hippocrates Chet Ramey, UTech, CWRU c...@case.edu http://tiswww.cwru.edu/~chet/