On Fri, Feb 16, 2024 at 9:45 PM Marc Aurèle La France <[email protected]> wrote:
> On Fri, 2024-Feb-16, Zachary Santer wrote:
>
> > And you're sure ${BASH_SOURCE[0]} wasn't what you wanted all along?
>
> Yes, but that doesn't matter now.
>
At the bottom of my .bashrc file:
printf '%s\n' "Hello, this script is ${BASH_SOURCE[0]}"
I start a new terminal and get:
Hello, this script is /home/zsant/.bashrc
How is this not what you wanted?
